default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Structures in Computer Science, Volume 30
Volume 30, Number 1, January 2020
- Longchun Wang
, Qingguo Li:
A representation of proper BC domains based on conjunctive sequent calculi. 1-13 - Joe Moeller:
Noncommutative network models. 14-32 - Daniel Leivant, Jean-Yves Marion:
Primitive recursion in the abstract. 33-43 - Bart Jacobs:
A channel-based perspective on conjugate priors. 44-61 - Colin Riba:
Monoidal-closed categories of tree automata. 62-117
Volume 30, Number 2, February 2020
- Lars Birkedal, Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew M. Pitts, Bas Spitters:
Modal dependent type theory and dependent right adjoints. 118-138 - Helmut Jürgensen:
Multisets, heaps, bags, families: What is a multiset? 139-158 - Maxime Lucas:
A cubical Squier's theorem. 159-172 - Pieter Collins:
Computable analysis with applications to dynamic systems. 173-233
Volume 30, Number 3, March 2020
- Andreas Blass, Yuri Gurevich:
Witness algebra and anyon braiding. 234-270 - Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
SMT-based verification of data-aware processes: a model-theoretic approach. 271-313 - John C. Baez, Jade Master:
Open Petri nets. 314-341
Volume 30, Number 4, April 2020
- Ales Bizjak, Rasmus Ejlers Møgelberg:
Denotational semantics for guarded dependent type theory. 342-378 - James Clift, Daniel Murfet:
Encodings of Turing machines in linear logic. 379-415 - James Clift, Daniel Murfet:
Cofree coalgebras and differential linear logic. 416-457
Volume 30, Number 5, May 2020
- Alexandre Miquel:
Implicative algebras: a new foundation for realizability and forcing. 458-510 - Luis Scoccola:
Nilpotent types and fracture squares in homotopy type theory. 511-544 - Jean-Simon Pacaud Lemay:
Convenient antiderivatives for differential linear categories. 545-569
Volume 30, Number 6, June 2020
- Mauricio Ayala-Rincón, Philippe Balbiani:
Introduction to the special issue: Unification. 570-571
- Silvio Ghilardi, Luigi Santocanale:
Free Heyting algebra endomorphisms: Ruitenburg's Theorem and beyond. 572-596 - Franz Baader, Pavlos Marantidis, Antoine Mottet, Alexander Okhotin:
Extensions of unification modulo ACUI. 597-626 - David M. Cerna, Temur Kutsia:
Higher-order pattern generalization modulo equational theories. 627-663 - Ajay Kumar Eeralla, Christopher Lynch:
Bounded ACh unification. 664-682 - Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen:
Computing knowledge in equational extensions of subterm convergent theories. 683-709 - Yunus D. K. Kutz, Manfred Schmidt-Schauß:
Rewriting with generalized nominal unification. 710-735
Volume 30, Number 7, August 2020
- Hans Kleine Büning, Piotr Wojciechowski, K. Subramani:
NAE-resolution: A new resolution refutation technique to prove not-all-equal unsatisfiability. 736-751 - Alain Finkel, Jean Goubault-Larrecq:
Forward analysis for WSTS, part I: completions. 752-832 - Jade Master:
Petri nets based on Lawvere theories. 833-864
Volume 30, Number 8, September 2020
- James Wallbridge:
Jets and differential linear logic. 865-891 - Norihiro Yamada, Samson Abramsky:
Dynamic game semantics. 892-951 - Anton Freund:
From Kruskal's theorem to Friedman's gap condition. 952-975
Volume 30, Number 9, October 2020
- Laura Fontanella, Guillaume Geoffroy:
Preserving cardinals and weak forms of Zorn's lemma in realizability models. 976-996 - Qingguo Li, Zhenzhu Yuan, Dongsheng Zhao:
A unified approach to some non-Hausdorff topological properties. 997-1010 - Roy L. Crole:
The nominal/FM Yoneda Lemma. 1011-1024
Volume 30, Number 10, November 2020
- Masahiro Hamano:
A MALL geometry of interaction based on indexed linear logic. 1025-1053 - Mai Gehrke, Daniela Petrisan, Luca Reggio:
Quantifiers on languages and codensity monads. 1054-1088 - Emmanuel Godard, Eloi Perdereau:
Back to the Coordinated Attack Problem. 1089-1113
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.
last updated on 2024-11-22 19:46 CET 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:
