Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Steve Huntsman |
The Multiresolution Analysis of Flow Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, pp. 323-341, 2019, Springer, 978-3-662-59532-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Bahareh Afshari, Gerhard Jäger, Graham E. Leigh |
An Infinitary Treatment of Full Mu-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, pp. 17-34, 2019, Springer, 978-3-662-59532-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Ferrarotti, Senén González, José Maria Turull Torres, Jan Van den Bussche, Jonni Virtema |
Descriptive Complexity of Deterministic Polylogarithmic Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, pp. 208-222, 2019, Springer, 978-3-662-59532-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Marianna Girlando, Sara Negri, Giorgio Sbardolini |
Uniform Labelled Calculi for Conditional and Counterfactual Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, pp. 248-263, 2019, Springer, 978-3-662-59532-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Blackburn, Manuel A. Martins 0001, María Manzano, Antonia Huertas |
Rigid First-Order Hybrid Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, pp. 53-69, 2019, Springer, 978-3-662-59532-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yusuke Kubota, Robert Levine |
Modal Auxiliaries and Negation: A Type-Logical Account. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, pp. 415-432, 2019, Springer, 978-3-662-59532-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Fujiwara |
Bar Induction and Restricted Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, pp. 236-247, 2019, Springer, 978-3-662-59532-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Acclavio, Lutz Straßburger |
On Combinatorial Proofs for Logics of Relevance and Entailment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, pp. 1-16, 2019, Springer, 978-3-662-59532-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Juha Kontinen, Fan Yang 0004 |
Logics for First-Order Team Properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, pp. 392-414, 2019, Springer, 978-3-662-59532-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Yury Savateev, Daniyar S. Shamkanov |
Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, pp. 569-583, 2019, Springer, 978-3-662-59532-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Xavier Caicedo, George Metcalfe, Ricardo Oscar Rodríguez, Olim Frits Tuyt |
The One-Variable Fragment of Corsi Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, pp. 70-83, 2019, Springer, 978-3-662-59532-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jinsheng Chen, Giuseppe Greco 0001, Alessandra Palmigiano, Apostolos Tzimoulis |
Non Normal Logics: Semantic Analysis and Proof Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, pp. 99-118, 2019, Springer, 978-3-662-59532-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Eveline Lehmann, Thomas Studer |
Subset Models for Justification Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, pp. 433-449, 2019, Springer, 978-3-662-59532-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Baltag, Nick Bezhanishvili, Saúl Fernández González |
The McKinsey-Tarski Theorem for Topological Evidence Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, pp. 177-194, 2019, Springer, 978-3-662-59532-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Baaz, Anela Lolic |
Note on Globally Sound Analytic Calculi for Quantifier Macros. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, pp. 486-497, 2019, Springer, 978-3-662-59532-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Sam Sanders |
Reverse Mathematics and Computability Theory of Domain Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, pp. 550-568, 2019, Springer, 978-3-662-59532-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Willem Conradie, Andrew Craig, Alessandra Palmigiano, Nachoem M. Wijnberg |
Modelling Informational Entropy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, pp. 140-160, 2019, Springer, 978-3-662-59532-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Denis I. Saveliev |
On First-Order Expressibility of Satisfiability in Submodels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, pp. 584-593, 2019, Springer, 978-3-662-59532-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Luis Henrique Bustamante, Ana Teresa C. Martins, Francicleber Martins Ferreira |
Parameterized Complexity of Some Prefix-Vocabulary Fragments of First-Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings, pp. 163-178, 2018, Springer, 978-3-662-57668-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Johann A. Makowsky |
The Undecidability of Orthogonal and Origami Geometries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings, pp. 250-270, 2018, Springer, 978-3-662-57668-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marta Bílková, Petr Cintula, Tomás Lávicka |
Lindenbaum and Pair Extension Lemma in Infinitary Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings, pp. 130-144, 2018, Springer, 978-3-662-57668-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | José Meseguer 0001 |
Symbolic Reasoning Methods in Rewriting Logic and Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings, pp. 25-60, 2018, Springer, 978-3-662-57668-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thiago Nascimento, Umberto Rivieccio, João Marcos 0001, Matthew Spinks |
Algebraic Semantics for Nelson's Logic S S. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings, pp. 271-288, 2018, Springer, 978-3-662-57668-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tomoaki Kawano |
Advanced Kripke Frame for Quantum Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings, pp. 237-249, 2018, Springer, 978-3-662-57668-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ryota Akiyoshi |
A Formalization of Brouwer's Argument for Bar Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings, pp. 77-90, 2018, Springer, 978-3-662-57668-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Daniyar Itegulov, Ekaterina Lebedeva |
Handling Verb Phrase Anaphora with Dependent Types and Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings, pp. 210-222, 2018, Springer, 978-3-662-57668-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Ciobaca, Andrei Arusoaie, Dorel Lucanu |
Unification Modulo Builtins. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings, pp. 179-195, 2018, Springer, 978-3-662-57668-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Katalin Bimbó |
Inhabitants of Intuitionistic Implicational Theorems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings, pp. 1-24, 2018, Springer, 978-3-662-57668-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Baltag, Aybüke Özgün, Ana Lucia Vargas Sandoval |
APAL with Memory Is Better. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings, pp. 106-129, 2018, Springer, 978-3-662-57668-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Areces, Miguel Campercholi, Pablo Ventura |
Deciding Open Definability via Subisomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings, pp. 91-105, 2018, Springer, 978-3-662-57668-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thiago Mendonça Ferreira Ramos, César A. Muñoz, Mauricio Ayala-Rincón, Mariano M. Moscato, Aaron Dutle, Anthony Narkawicz |
Formalization of the Undecidability of the Halting Problem for a Functional Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings, pp. 196-209, 2018, Springer, 978-3-662-57668-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Lawrence S. Moss, Ruy J. G. B. de Queiroz, Maricarmen Martínez (eds.) |
Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![Springer, 978-3-662-57668-7 The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Elaine Pimentel |
A Semantical View of Proof Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings, pp. 61-76, 2018, Springer, 978-3-662-57668-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sonja Smets, Anthia Solaki |
The Effort of Reasoning: Modelling the Inference Steps of Boundedly Rational Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings, pp. 307-324, 2018, Springer, 978-3-662-57668-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Akitoshi Kawamura, Florian Steinberg 0001, Holger Thies |
Parameterized Complexity for Uniform Operators on Multidimensional Analytic Functions and ODE Solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings, pp. 223-236, 2018, Springer, 978-3-662-57668-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adam Bjorndahl |
The Epistemology of Nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings, pp. 145-162, 2018, Springer, 978-3-662-57668-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chenwei Shi, Sonja Smets, Fernando R. Velázquez-Quesada |
Beliefs Based on Evidence and Argumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings, pp. 289-306, 2018, Springer, 978-3-662-57668-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Flavio Ferrarotti, Senén González, José Maria Turull Torres |
On Fragments of Higher Order Logics that on Finite Structures Collapse to Second Order. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 125-139, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Karin Cvetko-Vah, Mehrnoosh Sadrzadeh, Dimitri Kartsaklis, Benjamin Blundell |
Non-commutative Logic for Compositional Distributional Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 110-124, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ian Mackie |
A Geometry of Interaction Machine for Gödel's System T. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 229-241, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Willem Conradie, Andrew Craig, Alessandra Palmigiano, Zhiguang Zhao |
Constructive Canonicity for Lattice-Based Fixed Point Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 92-109, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lev D. Beklemishev |
On the Reflection Calculus with Partial Conservativity Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 48-67, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bjørn Kjos-Hanssen |
Shift Registers Fool Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 170-181, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fedor Pakhomov |
Solovay's Completeness Without Fixed Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 281-294, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nikolai L. Poliakov, Denis I. Saveliev |
On Two Concepts of Ultrafilter Extensions of First-Order Models and Their Generalizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 336-348, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Almudena Colacito, George Metcalfe |
Proof Theory and Ordered Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 80-91, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paola Bruscoli, Lutz Straßburger |
On the Length of Medial-Switch-Mix Derivations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 68-79, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Nathanael L. Ackerman, Cameron E. Freer |
Graph Turing Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 1-13, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Juliette Kennedy, Ruy J. G. B. de Queiroz (eds.) |
Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![Springer, 978-3-662-55385-5 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fausto Barbero, Lauri Hella, Raine Rönnholm |
Independence-Friendly Logic Without Henkin Quantification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 14-30, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Sérgio Marcelino, Carlos Caleiro |
Disjoint Fibring of Non-deterministic Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 242-255, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michal Tomasz Godziszewski, Joel David Hamkins |
Computable Quotient Presentations of Models of Arithmetic and Set Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 140-152, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Mostowski, Marek Czarnecki |
Concrete Mathematics. Finitistic Approach to Foundations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 271-280, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Igor Sedlár |
Substructural Logics with a Reflexive Transitive Closure Modality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 349-357, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zhiguang Zhao |
Algorithmic Sahlqvist Preservation for Modal Compact Hausdorff Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 387-400, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Greco 0001, Alessandra Palmigiano |
Lattice Logic Properly Displayed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 153-169, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Zhaohui Luo, Sergei Soloviev 0001 |
Dependent Event Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 216-228, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Arnold Beckmann, Jean-José Razafindrakoto |
Total Search Problems in Bounded Arithmetic and Improved Witnessing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 31-47, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Vít Puncochár |
Knowledge Is a Diamond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 304-320, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Giuseppe Greco 0001, Fei Liang, M. Andrew Moshier, Alessandra Palmigiano |
Multi-type Display Calculus for Semi De Morgan Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 199-215, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Parikh |
An Epistemic Generalization of Rationalizability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 295-303, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stepan L. Kuznetsov |
The Lambek Calculus with Iteration: Two Variants. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 182-198, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Gijs Jasper Wijnholds |
Coherent Diagrammatic Reasoning in Compositional Distributional Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 371-386, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Yury Savateev, Daniyar S. Shamkanov |
Cut-Elimination for the Modal Grzegorczyk Logic via Non-well-founded Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 321-335, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bob Coecke, Fabrizio Genovese, Martha Lewis, Dan Marsden |
Generalized Relations in Linguistics and Cognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 256-270, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Daniyar S. Shamkanov |
Global Neighbourhood Completeness of the Gödel-Löb Provability Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings, pp. 358-370, 2017, Springer, 978-3-662-55385-5. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Fan Yang 0004 |
Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 410-431, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Juan P. Aguilera 0001, Matthias Baaz |
Cut Elimination for Gödel Logic with an Operator Adding a Constant. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 36-51, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Juan P. Aguilera 0001 |
Compactness in Infinitary Gödel Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 22-35, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Baltag, Nick Bezhanishvili, Aybüke Özgün, Sonja Smets |
Justified Belief and the Topology of Evidence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 83-103, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anuj Dawar, Simone Severini, Octavio Zapata |
Descriptive Complexity of Graph Spectra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 183-199, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Ozan Kahramanogullari |
True Concurrency of Deep Inference Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 249-264, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marcus Vinícius Midena Ramos, Ruy J. G. B. de Queiroz, Nelma Moreira, José Carlos Bacelar Almeida |
On the Formalization of Some Results of Context-Free Language Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 338-357, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Torben Braüner, Patrick Blackburn, Irina Polyanskaya |
Second-Order False-Belief Tasks: Analysis and Formalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 125-144, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marta Bílková, Matej Dostál |
Expressivity of Many-Valued Modal Logics, Coalgebraically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 109-124, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Mateus de Oliveira Oliveira |
Causality in Bounded Petri Nets is MSO Definable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 200-214, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Frittella, Giuseppe Greco 0001, Alessandra Palmigiano, Fan Yang 0004 |
A Multi-type Calculus for Inquisitive Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 215-233, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Johann A. Makowsky, Elena V. Ravve |
Semantic Equivalence of Graph Polynomials Definable in Second Order Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 279-296, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Väänänen |
A Logical Approach to Context-Specific Independence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 165-182, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Beniamino Accattoli |
The Useful MAM, a Reasonable Implementation of the Strong λ-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 1-21, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Pablo Barceló |
Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 104-108, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Raine Rönnholm |
The Expressive Power of k-ary Exclusion Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 375-391, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Pouliasis |
A Curry-Howard View of Basic Justification Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 316-337, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | John T. Baldwin 0001 |
Foundations of Mathematics: Reliability and Clarity: The Explanatory Role of Mathematical Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 68-82, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Richard Zuber |
Anaphors and Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 432-445, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Holger Bock Axelsen, Robert Glück, Robin Kaarsgaard |
A Classical Propositional Logic for Reasoning About Reversible Logic Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 52-67, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Willem Conradie, Sabine Frittella, Alessandra Palmigiano, Michele Piazzai, Apostolos Tzimoulis, Nachoem Wijnberg |
Categories: How I Learned to Stop Worrying and Love Two Sorts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 145-164, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Zhe Lin 0002, Minghui Ma |
On the Complexity of the Equational Theory of Residuated Boolean Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 265-278, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Maicol A. Ochoa, Andrés Villaveces |
Sheaves of Metric Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 297-315, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Anselm Haak, Heribert Vollmer |
A Model-Theoretic Characterization of Constant-Depth Arithmetic Circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 234-248, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Katsuhiko Sano, Jonni Virtema |
Characterizing Relative Frame Definability in Team Semantics via the Universal Modality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 392-409, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jouko A. Väänänen, Åsa Hirvonen, Ruy J. G. B. de Queiroz (eds.) |
Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![Springer, 978-3-662-52920-1 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Deniz Rudin, Karl DeVries, Karen Duek, Kelsey Kraus, Adrian Brasoveanu 0001 |
The Semantics of Corrections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings, pp. 358-374, 2016, Springer, 978-3-662-52920-1. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Philippe de Groote |
Proof-Theoretic Aspects of the Lambek-Grishin Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings, pp. 109-123, 2015, Springer, 978-3-662-47708-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Neil Ghani, Fredrik Nordvall Forsberg, Federico Orsanigo |
Parametric Polymorphism - Universally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings, pp. 81-92, 2015, Springer, 978-3-662-47708-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ronald de Haan, Jakub Szymanik |
A Dichotomy Result for Ramsey Quantifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings, pp. 69-80, 2015, Springer, 978-3-662-47708-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | James M. Belk, Robert W. McGrail |
The Word Problem for Finitely Presented Quandles is Undecidable. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings, pp. 1-13, 2015, Springer, 978-3-662-47708-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Zoltán Ésik |
Equational Properties of Stratified Least Fixed Points (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings, pp. 174-188, 2015, Springer, 978-3-662-47708-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jean-René Courtault, Hans van Ditmarsch, Didier Galmiche |
An Epistemic Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings, pp. 156-173, 2015, Springer, 978-3-662-47708-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Valeria de Paiva, Ruy J. G. B. de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina Grisi de Oliveira (eds.) |
Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![Springer, 978-3-662-47708-3 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|