Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/mscs/mscs30.bht:"
download as .bib file
@article{DBLP:journals/mscs/Ayala-RinconB20,
author = {Mauricio Ayala{-}Rinc{\'{o}}n and
Philippe Balbiani},
title = {Introduction to the special issue: Unification},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {6},
pages = {570--571},
year = {2020},
url = {https://doi.org/10.1017/S0960129520000237},
doi = {10.1017/S0960129520000237},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Ayala-RinconB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BaaderMMO20,
author = {Franz Baader and
Pavlos Marantidis and
Antoine Mottet and
Alexander Okhotin},
title = {Extensions of unification modulo {ACUI}},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {6},
pages = {597--626},
year = {2020},
url = {https://doi.org/10.1017/S0960129519000185},
doi = {10.1017/S0960129519000185},
timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/BaaderMMO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BaezM20,
author = {John C. Baez and
Jade Master},
title = {Open Petri nets},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {3},
pages = {314--341},
year = {2020},
url = {https://doi.org/10.1017/S0960129520000043},
doi = {10.1017/S0960129520000043},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BaezM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BirkedalCMMPS20,
author = {Lars Birkedal and
Ranald Clouston and
Bassel Mannaa and
Rasmus Ejlers M{\o}gelberg and
Andrew M. Pitts and
Bas Spitters},
title = {Modal dependent type theory and dependent right adjoints},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {2},
pages = {118--138},
year = {2020},
url = {https://doi.org/10.1017/S0960129519000197},
doi = {10.1017/S0960129519000197},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BirkedalCMMPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BizjakM20,
author = {Ales Bizjak and
Rasmus Ejlers M{\o}gelberg},
title = {Denotational semantics for guarded dependent type theory},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {4},
pages = {342--378},
year = {2020},
url = {https://doi.org/10.1017/S0960129520000080},
doi = {10.1017/S0960129520000080},
timestamp = {Wed, 15 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BizjakM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BlassG20,
author = {Andreas Blass and
Yuri Gurevich},
title = {Witness algebra and anyon braiding},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {3},
pages = {234--270},
year = {2020},
url = {https://doi.org/10.1017/S0960129520000055},
doi = {10.1017/S0960129520000055},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/BlassG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/BuningWS20,
author = {Hans Kleine{ }B{\"{u}}ning and
Piotr Wojciechowski and
K. Subramani},
title = {NAE-resolution: {A} new resolution refutation technique to prove not-all-equal
unsatisfiability},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {7},
pages = {736--751},
year = {2020},
url = {https://doi.org/10.1017/S096012952000016X},
doi = {10.1017/S096012952000016X},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/BuningWS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CalvaneseGGMR20,
author = {Diego Calvanese and
Silvio Ghilardi and
Alessandro Gianola and
Marco Montali and
Andrey Rivkin},
title = {SMT-based verification of data-aware processes: a model-theoretic
approach},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {3},
pages = {271--313},
year = {2020},
url = {https://doi.org/10.1017/S0960129520000067},
doi = {10.1017/S0960129520000067},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CalvaneseGGMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CernaK20,
author = {David M. Cerna and
Temur Kutsia},
title = {Higher-order pattern generalization modulo equational theories},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {6},
pages = {627--663},
year = {2020},
url = {https://doi.org/10.1017/S0960129520000110},
doi = {10.1017/S0960129520000110},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CernaK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CliftM20,
author = {James Clift and
Daniel Murfet},
title = {Encodings of Turing machines in linear logic},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {4},
pages = {379--415},
year = {2020},
url = {https://doi.org/10.1017/S0960129520000109},
doi = {10.1017/S0960129520000109},
timestamp = {Wed, 15 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CliftM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CliftM20a,
author = {James Clift and
Daniel Murfet},
title = {Cofree coalgebras and differential linear logic},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {4},
pages = {416--457},
year = {2020},
url = {https://doi.org/10.1017/S0960129520000134},
doi = {10.1017/S0960129520000134},
timestamp = {Wed, 15 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CliftM20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Collins20,
author = {Pieter Collins},
title = {Computable analysis with applications to dynamic systems},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {2},
pages = {173--233},
year = {2020},
url = {https://doi.org/10.1017/S096012952000002X},
doi = {10.1017/S096012952000002X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Collins20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Crole20,
author = {Roy L. Crole},
title = {The nominal/FM Yoneda Lemma},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {9},
pages = {1011--1024},
year = {2020},
url = {https://doi.org/10.1017/S0960129520000328},
doi = {10.1017/S0960129520000328},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/Crole20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/EerallaL20,
author = {Ajay Kumar Eeralla and
Christopher Lynch},
title = {Bounded ACh unification},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {6},
pages = {664--682},
year = {2020},
url = {https://doi.org/10.1017/S0960129520000183},
doi = {10.1017/S0960129520000183},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/EerallaL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/ErbaturMR20,
author = {Serdar Erbatur and
Andrew M. Marshall and
Christophe Ringeissen},
title = {Computing knowledge in equational extensions of subterm convergent
theories},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {6},
pages = {683--709},
year = {2020},
url = {https://doi.org/10.1017/S0960129520000031},
doi = {10.1017/S0960129520000031},
timestamp = {Sat, 14 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/ErbaturMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FinkelG20,
author = {Alain Finkel and
Jean Goubault{-}Larrecq},
title = {Forward analysis for WSTS, part {I:} completions},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {7},
pages = {752--832},
year = {2020},
url = {https://doi.org/10.1017/S0960129520000195},
doi = {10.1017/S0960129520000195},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/FinkelG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/FontanellaG20,
author = {Laura Fontanella and
Guillaume Geoffroy},
title = {Preserving cardinals and weak forms of Zorn's lemma in realizability
models},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {9},
pages = {976--996},
year = {2020},
url = {https://doi.org/10.1017/S0960129521000013},
doi = {10.1017/S0960129521000013},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/FontanellaG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Freund20,
author = {Anton Freund},
title = {From Kruskal's theorem to Friedman's gap condition},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {8},
pages = {952--975},
year = {2020},
url = {https://doi.org/10.1017/S0960129520000298},
doi = {10.1017/S0960129520000298},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Freund20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GehrkePR20,
author = {Mai Gehrke and
Daniela Petrisan and
Luca Reggio},
title = {Quantifiers on languages and codensity monads},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {10},
pages = {1054--1088},
year = {2020},
url = {https://doi.org/10.1017/S0960129521000074},
doi = {10.1017/S0960129521000074},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/GehrkePR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GhilardiS20,
author = {Silvio Ghilardi and
Luigi Santocanale},
title = {Free Heyting algebra endomorphisms: Ruitenburg's Theorem and beyond},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {6},
pages = {572--596},
year = {2020},
url = {https://doi.org/10.1017/S0960129519000203},
doi = {10.1017/S0960129519000203},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/GhilardiS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GodardP20,
author = {Emmanuel Godard and
Eloi Perdereau},
title = {Back to the Coordinated Attack Problem},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {10},
pages = {1089--1113},
year = {2020},
url = {https://doi.org/10.1017/S0960129521000037},
doi = {10.1017/S0960129521000037},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/GodardP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Hamano20,
author = {Masahiro Hamano},
title = {A {MALL} geometry of interaction based on indexed linear logic},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {10},
pages = {1025--1053},
year = {2020},
url = {https://doi.org/10.1017/S0960129521000062},
doi = {10.1017/S0960129521000062},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Hamano20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Jacobs20,
author = {Bart Jacobs},
title = {A channel-based perspective on conjugate priors},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {1},
pages = {44--61},
year = {2020},
url = {https://doi.org/10.1017/S0960129519000082},
doi = {10.1017/S0960129519000082},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Jacobs20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Jurgensen20,
author = {Helmut J{\"{u}}rgensen},
title = {Multisets, heaps, bags, families: What is a multiset?},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {2},
pages = {139--158},
year = {2020},
url = {https://doi.org/10.1017/S0960129519000215},
doi = {10.1017/S0960129519000215},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Jurgensen20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/KutzS20,
author = {Yunus D. K. Kutz and
Manfred Schmidt{-}Schau{\ss}},
title = {Rewriting with generalized nominal unification},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {6},
pages = {710--735},
year = {2020},
url = {https://doi.org/10.1017/S0960129520000122},
doi = {10.1017/S0960129520000122},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/KutzS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/LeivantM20,
author = {Daniel Leivant and
Jean{-}Yves Marion},
title = {Primitive recursion in the abstract},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {1},
pages = {33--43},
year = {2020},
url = {https://doi.org/10.1017/S0960129519000112},
doi = {10.1017/S0960129519000112},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/LeivantM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Lemay20,
author = {Jean{-}Simon Pacaud Lemay},
title = {Convenient antiderivatives for differential linear categories},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {5},
pages = {545--569},
year = {2020},
url = {https://doi.org/10.1017/S0960129520000158},
doi = {10.1017/S0960129520000158},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Lemay20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/LiYZ20,
author = {Qingguo Li and
Zhenzhu Yuan and
Dongsheng Zhao},
title = {A unified approach to some non-Hausdorff topological properties},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {9},
pages = {997--1010},
year = {2020},
url = {https://doi.org/10.1017/S0960129521000025},
doi = {10.1017/S0960129521000025},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/LiYZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Lucas20,
author = {Maxime Lucas},
title = {A cubical Squier's theorem},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {2},
pages = {159--172},
year = {2020},
url = {https://doi.org/10.1017/S0960129520000018},
doi = {10.1017/S0960129520000018},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Lucas20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Master20,
author = {Jade Master},
title = {Petri nets based on Lawvere theories},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {7},
pages = {833--864},
year = {2020},
url = {https://doi.org/10.1017/S0960129520000262},
doi = {10.1017/S0960129520000262},
timestamp = {Tue, 26 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/Master20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Miquel20,
author = {Alexandre Miquel},
title = {Implicative algebras: a new foundation for realizability and forcing},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {5},
pages = {458--510},
year = {2020},
url = {https://doi.org/10.1017/S0960129520000079},
doi = {10.1017/S0960129520000079},
timestamp = {Thu, 16 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Miquel20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Moeller20,
author = {Joe Moeller},
title = {Noncommutative network models},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {1},
pages = {14--32},
year = {2020},
url = {https://doi.org/10.1017/S0960129519000161},
doi = {10.1017/S0960129519000161},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Moeller20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Riba20,
author = {Colin Riba},
title = {Monoidal-closed categories of tree automata},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {1},
pages = {62--117},
year = {2020},
url = {https://doi.org/10.1017/S0960129519000173},
doi = {10.1017/S0960129519000173},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Riba20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Scoccola20,
author = {Luis Scoccola},
title = {Nilpotent types and fracture squares in homotopy type theory},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {5},
pages = {511--544},
year = {2020},
url = {https://doi.org/10.1017/S0960129520000146},
doi = {10.1017/S0960129520000146},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/Scoccola20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Wallbridge20,
author = {James Wallbridge},
title = {Jets and differential linear logic},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {8},
pages = {865--891},
year = {2020},
url = {https://doi.org/10.1017/S0960129520000249},
doi = {10.1017/S0960129520000249},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Wallbridge20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/WangL20,
author = {Longchun Wang and
Qingguo Li},
title = {A representation of proper {BC} domains based on conjunctive sequent
calculi},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {1},
pages = {1--13},
year = {2020},
url = {https://doi.org/10.1017/S096012951900015X},
doi = {10.1017/S096012951900015X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/WangL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/YamadaA20,
author = {Norihiro Yamada and
Samson Abramsky},
title = {Dynamic game semantics},
journal = {Math. Struct. Comput. Sci.},
volume = {30},
number = {8},
pages = {892--951},
year = {2020},
url = {https://doi.org/10.1017/S0960129520000250},
doi = {10.1017/S0960129520000250},
timestamp = {Wed, 07 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/YamadaA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-25 16:44 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:
