default search action

combined dblp search
author search
venue search
publication search

ask others

Mathematical Structures in Computer Science, Volume 30

> Home > Journals > Mathematical Structures in Computer Science

Refine list

refinements active!

zoomed in on 37 of 37 records

view refined list in

export refined list as

showing all 37 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

Volume 30, Number 1, January 2020

Paper

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/WangL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/WangL20
Longchun Wang, Qingguo Li:
A representation of proper BC domains based on conjunctive sequent calculi. 1-13
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Moeller20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Moeller20
Joe Moeller:
Noncommutative network models. 14-32
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/LeivantM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/LeivantM20
Daniel Leivant, Jean-Yves Marion:
Primitive recursion in the abstract. 33-43
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Jacobs20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Jacobs20
Bart Jacobs:
A channel-based perspective on conjugate priors. 44-61
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Riba20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Riba20
Colin Riba:
Monoidal-closed categories of tree automata. 62-117
no results

Volume 30, Number 2, February 2020

Paper

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BirkedalCMMPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BirkedalCMMPS20
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
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Jurgensen20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Jurgensen20
Helmut Jürgensen:
Multisets, heaps, bags, families: What is a multiset? 139-158
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Lucas20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Lucas20
Maxime Lucas:
A cubical Squier's theorem. 159-172
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Collins20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Collins20
Pieter Collins:
Computable analysis with applications to dynamic systems. 173-233
no results

Volume 30, Number 3, March 2020

Paper

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BlassG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BlassG20
Andreas Blass, Yuri Gurevich:
Witness algebra and anyon braiding. 234-270
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/CalvaneseGGMR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/CalvaneseGGMR20
Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin:
SMT-based verification of data-aware processes: a model-theoretic approach. 271-313
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BaezM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BaezM20
John C. Baez, Jade Master:
Open Petri nets. 314-341
no results

Volume 30, Number 4, April 2020

Paper

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BizjakM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BizjakM20
Ales Bizjak, Rasmus Ejlers Møgelberg:
Denotational semantics for guarded dependent type theory. 342-378
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/CliftM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/CliftM20
James Clift, Daniel Murfet:
Encodings of Turing machines in linear logic. 379-415
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/CliftM20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/CliftM20a
James Clift, Daniel Murfet:
Cofree coalgebras and differential linear logic. 416-457
no results

Volume 30, Number 5, May 2020

Paper

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Miquel20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Miquel20
Alexandre Miquel:
Implicative algebras: a new foundation for realizability and forcing. 458-510
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Scoccola20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Scoccola20
Luis Scoccola:
Nilpotent types and fracture squares in homotopy type theory. 511-544
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Lemay20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Lemay20
Jean-Simon Pacaud Lemay:
Convenient antiderivatives for differential linear categories. 545-569
no results

Volume 30, Number 6, June 2020

Introduction

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Ayala-RinconB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Ayala-RinconB20
Mauricio Ayala-Rincón, Philippe Balbiani:
Introduction to the special issue: Unification. 570-571
no results

Paper

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/GhilardiS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/GhilardiS20
Silvio Ghilardi, Luigi Santocanale:
Free Heyting algebra endomorphisms: Ruitenburg's Theorem and beyond. 572-596
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BaaderMMO20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BaaderMMO20
Franz Baader, Pavlos Marantidis, Antoine Mottet, Alexander Okhotin:
Extensions of unification modulo ACUI. 597-626
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/CernaK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/CernaK20
David M. Cerna, Temur Kutsia:
Higher-order pattern generalization modulo equational theories. 627-663
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/EerallaL20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/EerallaL20
Ajay Kumar Eeralla, Christopher Lynch:
Bounded ACh unification. 664-682
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/ErbaturMR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/ErbaturMR20
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen:
Computing knowledge in equational extensions of subterm convergent theories. 683-709
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/KutzS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/KutzS20
Yunus D. K. Kutz, Manfred Schmidt-Schauß:
Rewriting with generalized nominal unification. 710-735
no results

Volume 30, Number 7, August 2020

Paper

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BuningWS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BuningWS20
Hans Kleine Büning, Piotr Wojciechowski, K. Subramani:
NAE-resolution: A new resolution refutation technique to prove not-all-equal unsatisfiability. 736-751
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/FinkelG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/FinkelG20
Alain Finkel, Jean Goubault-Larrecq:
Forward analysis for WSTS, part I: completions. 752-832
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Master20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Master20
Jade Master:
Petri nets based on Lawvere theories. 833-864
no results

Volume 30, Number 8, September 2020

Paper

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Wallbridge20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Wallbridge20
James Wallbridge:
Jets and differential linear logic. 865-891
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/YamadaA20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/YamadaA20
Norihiro Yamada, Samson Abramsky:
Dynamic game semantics. 892-951
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Freund20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Freund20
Anton Freund:
From Kruskal's theorem to Friedman's gap condition. 952-975
no results

Volume 30, Number 9, October 2020

Paper

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/FontanellaG20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/FontanellaG20
Laura Fontanella, Guillaume Geoffroy:
Preserving cardinals and weak forms of Zorn's lemma in realizability models. 976-996
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/LiYZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/LiYZ20
Qingguo Li, Zhenzhu Yuan, Dongsheng Zhao:
A unified approach to some non-Hausdorff topological properties. 997-1010
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Crole20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Crole20
Roy L. Crole:
The nominal/FM Yoneda Lemma. 1011-1024
no results

Volume 30, Number 10, November 2020

Paper

- view
  authority control:
- export record
  dblp key:
  - journals/mscs/Hamano20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Hamano20
Masahiro Hamano:
A MALL geometry of interaction based on indexed linear logic. 1025-1053
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/GehrkePR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/GehrkePR20
Mai Gehrke, Daniela Petrisan, Luca Reggio:
Quantifiers on languages and codensity monads. 1054-1088
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/GodardP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/GodardP20
Emmanuel Godard, Eloi Perdereau:
Back to the Coordinated Attack Problem. 1089-1113
no results

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.