Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical Structures in Computer Science, Volume 29
Volume 29, Number 1, January 2019
- Martin Leucker
, Jorge A. Pérez, Camilo Rueda, Frank D. Valencia:
Preface to special issue: ICTAC 2015. 1-2
- Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare:
Converging from branching to linear metrics on Markov chains. 3-37 - Henning Basold, Helle Hvid Hansen, Jean-Éric Pin, Jan Rutten:
Newton series, coinductively: a comparative study of composition. 38-66 - James Chapman, Tarmo Uustalu, Niccolò Veltri:
Quotienting the delay monad by weak bisimilarity. 67-92 - Delia Kesner, Daniel Ventura:
A resource aware semantics for a focused intuitionistic calculus. 93-126 - Sophia Knight, Bastien Maubert, François Schwarzentruber:
Reasoning about knowledge and messages in asynchronous multi-agent systems. 127-168 - Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron, Hervé Marchand:
Optimal enforcement of (timed) properties with uncontrollable events. 169-214
Volume 29, Number 2, February 2019
- Sergey Slavnov:
On Banach spaces of sequences and free linear logic exponential modality. 215-242 - J. Robin B. Cockett, Jean-Simon Lemay:
Integral categories and calculus categories. 243-308 - Basil A. Karádais:
Nonflatness and totality. 309-338 - Mila Dalla Preda, Michele Pasqua:
Semantics-based software watermarking by abstract interpretation. 339-388
Volume 29, Number 3, March 2019
- Neil B. Lovett, Matthew S. Everitt, Robert M. Heath, Viv Kendon:
The quantum walk search algorithm: factors affecting efficiency. 389-429 - Walter Ferrer Santos, Mauricio Guillermo, Octavio Malherbe:
Realizability in ordered combinatory algebras with adjunction. 430-464 - Rasmus Ejlers Møgelberg, Marco Paviotti:
Denotational semantics of recursive types in synthetic guarded domain theory. 465-510
Volume 29, Number 4, April 2019
- Sergei Soloviev:
Automorphisms of types in certain type theories and representation of finite groups. 511-551 - Dirk Hofmann, Renato Neves, Pedro Nora:
Limits in categories of Vietoris coalgebras. 552-587 - Daniil Frumin, Benno van den Berg:
A homotopy-theoretic model of function extensionality in the effective topos. 588-614
Volume 29, Number 5, May 2019
- Maribel Fernández, Hélène Kirchner, Bruno Pinaud:
Strategic port graph rewriting: an interactive modelling framework. 615-662 - Yueguo Luo, Haijun Tan, Ying Zhang, Yun Jiang:
The computational power of timed P systems with active membranes using promoters. 663-680 - Emmanuel Haucourt, Nicolas Ninin:
Unique decomposition of homogeneous languages and application to isothetic regions. 681-730
Volume 29, Number 6, June 2019
- Valeria de Paiva, Ruy J. G. B. de Queiroz:
Preface. 731-732
- V. Michele Abrusci, Roberto Maieli:
Proof nets for multiplicative cyclic linear logic and Lambek calculus. 733-762 - Jörg Endrullis, Lawrence S. Moss:
Syllogistic logic with "Most". 763-782 - Jules Hedges, Mehrnoosh Sadrzadeh:
A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras. 783-809 - Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo:
Universal properties for universal types in bifibrational parametricity. 810-827 - Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche:
A public announcement separation logic. 828-871 - Andreia Mordido, Carlos Caleiro:
Probabilistic logic over equations and domain restrictions. 872-895 - Ronald de Haan, Jakub Szymanik:
Characterizing polynomial Ramsey quantifiers. 896-908 - Zoltán Ésik:
Equational properties of fixed-point operations in cartesian categories: An overview. 909-925
Volume 29, Number 7, August 2019
- Hristo Ganchev, Andrey Sariev:
Definability in the local structure of the ω-Turing degrees. 927-937 - Kenta Cho, Bart Jacobs:
Disintegration and Bayesian inversion via string diagrams. 938-971 - Chris Heunen, Bert Lindenhovius:
Domains of commutative C*-subalgebras. 972-1006
Volume 29, Number 8, September 2019
- David Baelde, Amy P. Felty, Gopalan Nadathur, Alexis Saurin:
A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller's 60th birthday. 1007-1008
- Federico Aschieri, Stefan Hetzl, Daniel Weller:
Expansion trees with cut. 1009-1029 - Lutz Straßburger:
Deep inference and expansion trees for second-order multiplicative linear logic. 1030-1060 - Giselle Reis, Bruno Woltzenlogel Paleo:
Complexity of translations from resolution to sequent calculus. 1061-1091 - José Espírito Santo, Ralph Matthes, Luís Pinto:
Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search. 1092-1124 - Ferruccio Guidi, Claudio Sacerdoti Coen, Enrico Tassi:
Implementing type theory in higher order constraint logic programming. 1125-1150 - Kaustuv Chaudhuri, Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel:
Hybrid linear logic, revisited. 1151-1176 - Chuck C. Liang:
On the unification of classical, intuitionistic and affine logics. 1177-1216 - Max I. Kanovich, Stepan L. Kuznetsov, Vivek Nigam, Andre Scedrov:
Subexponentials in non-commutative linear logic. 1217-1249 - Jean Goubault-Larrecq:
A semantics for nabla. 1250-1274 - Ross Horne, Alwen Tiu:
Constructing weak simulations from linear implications for processes with private names. 1275-1308 - Alberto Momigliano, Brigitte Pientka, David Thibodeau:
A case study in programming coinductive proofs: Howe's method. 1309-1343 - Tomer Libal, Marco Volpe:
A general proof certification framework for modal logic. 1344-1378
Volume 29, Number 9, October 2019
- Anna Chiara Lai, Marco Pedicini, Mario Piazza:
Abstract machines, optimal reduction, and streams. 1379-1410 - Paige Randall North:
Identity types and weak factorization systems in Cauchy complete categories. 1411-1427 - Guillaume Bonfante, Florian L. Deloup:
Decidability of regular language genus computation. 1428-1443 - Borja Balle, Prakash Panangaden, Doina Precup:
Singular value automata and approximate minimization. 1444-1478
Volume 29, Number 10, November 2019
- Thomas Leventis:
A deterministic rewrite system for the probabilistic λ-calculus. 1479-1512 - J. Robin B. Cockett, Jonathan Gallagher:
Categorical models of the differential λ-calculus. 1513-1555 - Zhongxi Zhang, Qingguo Li, Nan Zhang:
m-Algebraic lattices in formal concept analysis. 1556-1574 - Walter Ferrer Santos, Octavio Malherbe:
The category of implicative algebras and realizability. 1575-1606
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.
last updated on 2024-04-26 18:22 CEST 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:
