default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID24th WoLLIC 2017: London, UK
- Juliette Kennedy, Ruy J. G. B. de Queiroz:
Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings. Lecture Notes in Computer Science 10388, Springer 2017, ISBN 978-3-662-55385-5 - Nathanael L. Ackerman, Cameron E. Freer:
Graph Turing Machines. 1-13 - Fausto Barbero, Lauri Hella
, Raine Rönnholm:
Independence-Friendly Logic Without Henkin Quantification. 14-30 - Arnold Beckmann, Jean-José Razafindrakoto:
Total Search Problems in Bounded Arithmetic and Improved Witnessing. 31-47 - Lev D. Beklemishev:
On the Reflection Calculus with Partial Conservativity Operators. 48-67 - Paola Bruscoli, Lutz Straßburger:
On the Length of Medial-Switch-Mix Derivations. 68-79 - Almudena Colacito, George Metcalfe:
Proof Theory and Ordered Groups. 80-91 - Willem Conradie, Andrew Craig, Alessandra Palmigiano, Zhiguang Zhao:
Constructive Canonicity for Lattice-Based Fixed Point Logics. 92-109 - Karin Cvetko-Vah, Mehrnoosh Sadrzadeh, Dimitri Kartsaklis, Benjamin Blundell:
Non-commutative Logic for Compositional Distributional Semantics. 110-124 - Flavio Ferrarotti, Senén González, José Maria Turull Torres:
On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order. 125-139 - Michal Tomasz Godziszewski, Joel David Hamkins:
Computable Quotient Presentations of Models of Arithmetic and Set Theory. 140-152 - Giuseppe Greco, Alessandra Palmigiano:
Lattice Logic Properly Displayed. 153-169 - Bjørn Kjos-Hanssen:
Shift Registers Fool Finite Automata. 170-181 - Stepan L. Kuznetsov:
The Lambek Calculus with Iteration: Two Variants. 182-198 - Giuseppe Greco, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano:
Multi-type Display Calculus for Semi De Morgan Logic. 199-215 - Zhaohui Luo, Sergei Soloviev:
Dependent Event Types. 216-228 - Ian Mackie:
A Geometry of Interaction Machine for Gödel's System T. 229-241 - Sérgio Marcelino, Carlos Caleiro:
Disjoint Fibring of Non-deterministic Matrices. 242-255 - Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden:
Generalized Relations in Linguistics and Cognition. 256-270 - Marcin Mostowski, Marek Czarnecki:
Concrete Mathematics. Finitistic Approach to Foundations. 271-280 - Fedor Pakhomov:
Solovay's Completeness Without Fixed Points. 281-294 - Rohit Parikh:
An Epistemic Generalization of Rationalizability. 295-303 - Vít Puncochár:
Knowledge Is a Diamond. 304-320 - Yury Savateev, Daniyar S. Shamkanov:
Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs. 321-335 - Nikolai L. Poliakov, Denis I. Saveliev:
On Two Concepts of Ultrafilter Extensions of First-Order Models and Their Generalizations. 336-348 - Igor Sedlár:
Substructural Logics with a Reflexive Transitive Closure Modality. 349-357 - Daniyar S. Shamkanov:
Global Neighbourhood Completeness of the Gödel-Löb Provability Logic. 358-370 - Gijs Jasper Wijnholds:
Coherent Diagrammatic Reasoning in Compositional Distributional Semantics. 371-386 - Zhiguang Zhao:
Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces. 387-400
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-12-04 20:01 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:
