default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/mscs/mscs28.bht:"
download as .bib file
@article{DBLP:journals/mscs/AlvesC18,
author = {Sandra Alves and
Iliano Cervesato},
title = {Preface to special issue: {LINEARITY} 2014},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {5},
pages = {612--613},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000359},
doi = {10.1017/S0960129516000359},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/AlvesC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/ArrighiMN18,
author = {Pablo Arrighi and
Simon Martiel and
Vincent Nesme},
title = {Cellular automata over generalized Cayley graphs},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {3},
pages = {340--383},
year = {2018},
url = {https://doi.org/10.1017/S0960129517000044},
doi = {10.1017/S0960129517000044},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/ArrighiMN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Arslanov18,
author = {Marat M. Arslanov},
title = {Splitting and non-splitting in the difference hierarchy},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {3},
pages = {384--391},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000244},
doi = {10.1017/S0960129516000244},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Arslanov18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Awodey18,
author = {Steve Awodey},
title = {Natural models of homotopy type theory},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {2},
pages = {241--286},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000268},
doi = {10.1017/S0960129516000268},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Awodey18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Bahr18,
author = {Patrick Bahr},
title = {Convergence in infinitary term graph rewriting systems is simple},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {8},
pages = {1363--1414},
year = {2018},
url = {https://doi.org/10.1017/S0960129518000166},
doi = {10.1017/S0960129518000166},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Bahr18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Bazhenov18,
author = {Nikolay Bazhenov},
title = {Autostability spectra for decidable structures},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {3},
pages = {392--411},
year = {2018},
url = {https://doi.org/10.1017/S096012951600030X},
doi = {10.1017/S096012951600030X},
timestamp = {Wed, 17 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Bazhenov18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Beffara18,
author = {Emmanuel Beffara},
title = {Order algebras: a quantitative model of interaction},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {7},
pages = {1126--1168},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000360},
doi = {10.1017/S0960129516000360},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Beffara18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BergM18,
author = {Benno van den Berg and
Ieke Moerdijk},
title = {W-types in homotopy-type theory - {CORRIGENDUM}},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {1},
pages = {140},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000025},
doi = {10.1017/S0960129516000025},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BergM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Bice18,
author = {Tristan Bice},
title = {Yoneda completeness},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {4},
pages = {548--561},
year = {2018},
url = {https://doi.org/10.1017/S0960129517000032},
doi = {10.1017/S0960129517000032},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/Bice18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BonfanteD18,
author = {Guillaume Bonfante and
Florian L. Deloup},
title = {The genus of regular languages},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {1},
pages = {14--44},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000037},
doi = {10.1017/S0960129516000037},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BonfanteD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BonfanteG18,
author = {Guillaume Bonfante and
Bruno Guillaume},
title = {Non-size increasing graph rewriting for natural language processing},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {8},
pages = {1451--1484},
year = {2018},
url = {https://doi.org/10.1017/S0960129518000178},
doi = {10.1017/S0960129518000178},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BonfanteG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BottoniGKL18,
author = {Paolo Bottoni and
Daniele Gorla and
Stefano Kasangian and
Anna Labella},
title = {A doctrinal approach to modal/temporal Heyting logic and non-determinism
in processes},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {4},
pages = {508--532},
year = {2018},
url = {https://doi.org/10.1017/S0960129517000019},
doi = {10.1017/S0960129517000019},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BottoniGKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Brock-Nannestad18,
author = {Taus Brock{-}Nannestad and
Nicolas Guenot},
title = {Multi-focused cut elimination},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {5},
pages = {614--650},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000451},
doi = {10.1017/S0960129516000451},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Brock-Nannestad18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Brodo18,
author = {Linda Brodo},
title = {On the expressiveness of {\(\pi\)}-calculus for encoding mobile ambients},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {2},
pages = {202--240},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000256},
doi = {10.1017/S0960129516000256},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Brodo18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BrugginkK18,
author = {H. J. Sander Bruggink and
Barbara K{\"{o}}nig},
title = {Recognizable languages of arrows and cospans},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {8},
pages = {1290--1332},
year = {2018},
url = {https://doi.org/10.1017/S096012951800018X},
doi = {10.1017/S096012951800018X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BrugginkK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Carvalho18,
author = {Daniel de Carvalho},
title = {Execution time of {\(\lambda\)}-terms via denotational semantics and
intersection types},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {7},
pages = {1169--1203},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000396},
doi = {10.1017/S0960129516000396},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Carvalho18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CaveP18,
author = {Andrew Cave and
Brigitte Pientka},
title = {Mechanizing proofs with logical relations - Kripke-style},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {9},
pages = {1606--1638},
year = {2018},
url = {https://doi.org/10.1017/S0960129518000154},
doi = {10.1017/S0960129518000154},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CaveP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CervesatoC18,
author = {Iliano Cervesato and
Kaustuv Chaudhuri},
title = {Preface - Special Issue on Logical Frameworks and Meta-Languages 2015},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {9},
pages = {1506},
year = {2018},
url = {https://doi.org/10.1017/S0960129518000233},
doi = {10.1017/S0960129518000233},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CervesatoC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Chaudhuri18,
author = {Kaustuv Chaudhuri},
title = {Expressing additives using multiplicatives and subexponentials},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {5},
pages = {651--666},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000293},
doi = {10.1017/S0960129516000293},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Chaudhuri18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/DAgostinoM18,
author = {Giovanna D'Agostino and
Alberto Marcone},
title = {The logic of the reverse mathematics zoo},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {3},
pages = {412--428},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000323},
doi = {10.1017/S0960129516000323},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/DAgostinoM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Echahed18,
author = {Rachid Echahed},
title = {Foreword: special issue on term and graph rewriting},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {8},
pages = {1287--1289},
year = {2018},
url = {https://doi.org/10.1017/S0960129518000191},
doi = {10.1017/S0960129518000191},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Echahed18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Ehrhard18,
author = {Thomas Ehrhard},
title = {An introduction to differential linear logic: proof-nets, models and
antiderivatives},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {7},
pages = {995--1060},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000372},
doi = {10.1017/S0960129516000372},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Ehrhard18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Falco18,
author = {Lorenzo Tortora de Falco},
title = {Preface},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {7},
pages = {991--994},
year = {2018},
url = {https://doi.org/10.1017/S096012951600044X},
doi = {10.1017/S096012951600044X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Falco18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FeltyMP18,
author = {Amy P. Felty and
Alberto Momigliano and
Brigitte Pientka},
title = {Benchmarks for reasoning with syntax trees containing binders and
contexts of assumptions},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {9},
pages = {1507--1540},
year = {2018},
url = {https://doi.org/10.1017/S0960129517000093},
doi = {10.1017/S0960129517000093},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FeltyMP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FiadeiroLDL18,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ant{\'{o}}nia Lopes and
Beno{\^{\i}}t Delahaye and
Axel Legay},
title = {Dynamic networks of heterogeneous timed machines},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {6},
pages = {800--855},
year = {2018},
url = {https://doi.org/10.1017/S0960129517000135},
doi = {10.1017/S0960129517000135},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/FiadeiroLDL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Fokina18,
author = {Ekaterina B. Fokina},
title = {Preface},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {3},
pages = {338--339},
year = {2018},
url = {https://doi.org/10.1017/S0960129517000081},
doi = {10.1017/S0960129517000081},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Fokina18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Giamberardino18,
author = {Paolo Di Giamberardino},
title = {Jump from parallel to sequential proofs: exponentials},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {7},
pages = {1204--1252},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000414},
doi = {10.1017/S0960129516000414},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Giamberardino18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GonzalezH18,
author = {Alonso Gonz{\'{a}}lez and
Alejandro Hevia},
title = {A second note on the feasibility of generalized universal composability},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {2},
pages = {141--154},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000074},
doi = {10.1017/S0960129516000074},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GonzalezH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GuiraudM18,
author = {Yves Guiraud and
Philippe Malbos},
title = {Polygraphs of finite derivation type},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {2},
pages = {155--201},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000220},
doi = {10.1017/S0960129516000220},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GuiraudM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HamanaMA18,
author = {Makoto Hamana and
Kazutaka Matsuda and
Kazuyuki Asada},
title = {The algebra of recursive graph transformation language UnCAL: complete
axiomatisation and iteration categorical semantics},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {2},
pages = {287--337},
year = {2018},
url = {https://doi.org/10.1017/S096012951600027X},
doi = {10.1017/S096012951600027X},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/HamanaMA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HamanoS18,
author = {Masahiro Hamano and
Philip J. Scott},
title = {On geometry of interaction for polarized linear logic},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {10},
pages = {1639--1694},
year = {2018},
url = {https://doi.org/10.1017/S0960129517000196},
doi = {10.1017/S0960129517000196},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/HamanoS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HasuoKC18,
author = {Ichiro Hasuo and
Toshiki Kataoka and
Kenta Cho},
title = {Coinductive predicates and final sequences in a fibration},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {4},
pages = {562--611},
year = {2018},
url = {https://doi.org/10.1017/S0960129517000056},
doi = {10.1017/S0960129517000056},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/HasuoKC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Haucourt18,
author = {Emmanuel Haucourt},
title = {The geometry of conservative programs},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {10},
pages = {1723--1769},
year = {2018},
url = {https://doi.org/10.1017/S0960129517000226},
doi = {10.1017/S0960129517000226},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Haucourt18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HonsellLMS18,
author = {Furio Honsell and
Luigi Liquori and
Petar Maksimovic and
Ivan Scagnetto},
title = {Plugging-in proof development environments using Locks in {LF}},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {9},
pages = {1578--1605},
year = {2018},
url = {https://doi.org/10.1017/S0960129518000105},
doi = {10.1017/S0960129518000105},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/HonsellLMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Isaev18,
author = {Valery Isaev},
title = {Model structures on categories of models of type theories},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {10},
pages = {1695--1722},
year = {2018},
url = {https://doi.org/10.1017/S0960129517000202},
doi = {10.1017/S0960129517000202},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Isaev18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/KerjeanT18,
author = {Marie Kerjean and
Christine Tasson},
title = {Mackey-complete spaces and power series - a topological model of differential
linear logic},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {4},
pages = {472--507},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000281},
doi = {10.1017/S0960129516000281},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/KerjeanT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/KorovinaK18,
author = {Margarita V. Korovina and
Oleg V. Kudinov},
title = {Complexity for partial computable functions over computable Polish
spaces},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {3},
pages = {429--447},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000438},
doi = {10.1017/S0960129516000438},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/KorovinaK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Krivine18,
author = {Jean{-}Louis Krivine},
title = {Realizability algebras {III:} some examples},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {1},
pages = {45--76},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000050},
doi = {10.1017/S0960129516000050},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Krivine18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/LiY18,
author = {Hongwei Li and
Li Yang},
title = {A quantum algorithm to approximate the linear structures of Boolean
functions},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {1},
pages = {1--13},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000013},
doi = {10.1017/S0960129516000013},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/LiY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/LuL18,
author = {Chongxia Lu and
Qingguo Li},
title = {Essential and density topologies on s2-continuous posets},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {10},
pages = {1770--1785},
year = {2018},
url = {https://doi.org/10.1017/S0960129517000238},
doi = {10.1017/S0960129517000238},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/LuL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Marks18,
author = {Andrew S. Marks},
title = {The universality of polynomial time Turing equivalence},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {3},
pages = {448--456},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000232},
doi = {10.1017/S0960129516000232},
timestamp = {Fri, 30 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/Marks18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Mazza18,
author = {Damiano Mazza},
title = {The true concurrency of differential interaction nets},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {7},
pages = {1097--1125},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000402},
doi = {10.1017/S0960129516000402},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Mazza18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/MelliesTT18,
author = {Paul{-}Andr{\'{e}} Melli{\`{e}}s and
Nicolas Tabareau and
Christine Tasson},
title = {An explicit formula for the free exponential modality of linear logic},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {7},
pages = {1253--1286},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000426},
doi = {10.1017/S0960129516000426},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/MelliesTT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/MelliesZ18,
author = {Paul{-}Andr{\'{e}} Melli{\`{e}}s and
Noam Zeilberger},
title = {An Isbell duality theorem for type refinement systems},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {6},
pages = {736--774},
year = {2018},
url = {https://doi.org/10.1017/S0960129517000068},
doi = {10.1017/S0960129517000068},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/MelliesZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/NiesS18,
author = {Andr{\'{e}} Nies and
Andrea Sorbi},
title = {Calibrating word problems of groups via the complexity of equivalence
relations},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {3},
pages = {457--471},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000335},
doi = {10.1017/S0960129516000335},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/NiesS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PaykinZ18,
author = {Jennifer Paykin and
Steve Zdancewic},
title = {A linear/producer/consumer model of classical linear logic},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {5},
pages = {710--735},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000347},
doi = {10.1017/S0960129516000347},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/PaykinZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PereraC18,
author = {Roly Perera and
James Cheney},
title = {Proof-relevant {\(\pi\)}-calculus: a constructive account of concurrency
and causality},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {9},
pages = {1541--1577},
year = {2018},
url = {https://doi.org/10.1017/S096012951700010X},
doi = {10.1017/S096012951700010X},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/PereraC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/RahliB18,
author = {Vincent Rahli and
Mark Bickford},
title = {Validating Brouwer's continuity principle for numbers using named
exceptions},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {6},
pages = {942--990},
year = {2018},
url = {https://doi.org/10.1017/S0960129517000172},
doi = {10.1017/S0960129517000172},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/RahliB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/ReussS18,
author = {Andreas Reu{\ss} and
Helmut Seidl},
title = {Paths, tree homomorphisms and disequalities for -clauses},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {10},
pages = {1786--1846},
year = {2018},
url = {https://doi.org/10.1017/S096012951700024X},
doi = {10.1017/S096012951700024X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/ReussS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Schmidt-Schauss18,
author = {Manfred Schmidt{-}Schau{\ss}},
title = {Linear pattern matching of compressed terms and polynomial rewriting},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {8},
pages = {1415--1450},
year = {2018},
url = {https://doi.org/10.1017/S0960129518000208},
doi = {10.1017/S0960129518000208},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Schmidt-Schauss18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Seiller18,
author = {Thomas Seiller},
title = {A correspondence between maximal abelian sub-algebras and linear logic
fragments},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {1},
pages = {77--139},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000062},
doi = {10.1017/S0960129516000062},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Seiller18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Shulman18,
author = {Michael Shulman},
title = {Brouwer's fixed-point theorem in real-cohesive homotopy type theory},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {6},
pages = {856--941},
year = {2018},
url = {https://doi.org/10.1017/S0960129517000147},
doi = {10.1017/S0960129517000147},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Shulman18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Solieri18,
author = {Marco Solieri},
title = {Geometry of resource interaction and Taylor-Ehrhard-Regnier expansion:
a minimalist approach},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {5},
pages = {667--709},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000311},
doi = {10.1017/S0960129516000311},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Solieri18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Strecker18,
author = {Martin Strecker},
title = {Interactive and automated proofs for graph transformations},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {8},
pages = {1333--1362},
year = {2018},
url = {https://doi.org/10.1017/S096012951800021X},
doi = {10.1017/S096012951800021X},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Strecker18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Struth18,
author = {Georg Struth},
title = {Hoare Semigroups},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {6},
pages = {775--799},
year = {2018},
url = {https://doi.org/10.1017/S096012951700007X},
doi = {10.1017/S096012951700007X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Struth18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/TassonV18,
author = {Christine Tasson and
Lionel Vaux},
title = {Transport of finiteness structures and applications},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {7},
pages = {1061--1096},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000384},
doi = {10.1017/S0960129516000384},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/TassonV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Zantema18,
author = {Hans Zantema},
title = {Finding small counterexamples for abstract rewriting properties},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {8},
pages = {1485--1505},
year = {2018},
url = {https://doi.org/10.1017/S0960129518000221},
doi = {10.1017/S0960129518000221},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Zantema18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/ZhangLJ18,
author = {Zhongxi Zhang and
Qingguo Li and
Xiaodong Jia},
title = {{\texttheta}-continuity and {D} {\texttheta}-completion of posets},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {4},
pages = {533--547},
year = {2018},
url = {https://doi.org/10.1017/S0960129517000020},
doi = {10.1017/S0960129517000020},
timestamp = {Fri, 28 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/ZhangLJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-09-26 02:35 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
