default search action
20th WoLLIC 2013: Darmstadt, Germany
- Leonid Libkin, Ulrich Kohlenbach, Ruy J. G. B. de Queiroz:
Logic, Language, Information, and Computation - 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings. Lecture Notes in Computer Science 8071, Springer 2013, ISBN 978-3-642-39991-6 - Natasha Alechina:
Logic and Agent Programming Languages. 1-10 - Steven Awodey:
Natural Models of Homotopy Type Theory (Abstract). 11-12 - Mikolaj Bojanczyk:
Modelling Infinite Structures with Atoms. 13-28 - Wim Martens:
Counting in SPARQL Property Paths: Perspectives from Theory and Practice. 29-30 - Catuscia Palamidessi:
Quantitative Approaches to Information Protection. 31-32 - Thomas Schwentick:
Perspectives of Dynamic Complexity. 33 - Laís Andrade, Ruan Carvalho, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz:
Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach. 34-48 - Argimiro Arratia
, Carlos E. Ortiz:
First Order Extensions of Residue Classes and Uniform Circuit Complexity. 49-63 - Alexandru Baltag, Jort Bergfeld, Kohei Kishida, Joshua Sack
Quantum Probabilistic Dyadic Second-Order Logic. 64-80 - Agata Ciabattoni
Structural Extensions of Display Calculi: A General Recipe. 81-95 - Sjur Kristoffer Dyrkolbotn:
The Same, Similar, or Just Completely Different? Equivalence for Argumentation in Light of Logic. 96-110 - Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema
Boolean Dependence Logic and Partially-Ordered Connectives. 111-125 - Johannes Ebbing, Lauri Hella, Arne Meier
Extended Modal Dependence Logic. 126-137 - Fredrik Engström, Juha Kontinen
Dependence Logic with Generalized Quantifiers: Axiomatizations. 138-152 - Michael P. Fourman:
Continuous Truth II: Reflections. 153-167 - Andreas Herzig:
A Simple Separation Logic. 168-178 - Juha Kontinen
Independence in Database Relations. 179-193 - Hidenori Kurokawa, Hirohiko Kushida:
Substructural Logic of Proofs. 194-210 - Yoshihiro Maruyama:
Full Lambek Hyperdoctrine: Categorical Semantics for First-Order Substructural Logics. 211-225 - Xavier Caicedo, George Metcalfe
A Finite Model Property for Gödel Modal Logics. 226-237 - Julian-Steffen Müller, Heribert Vollmer:
Model Checking for Modal Dependence Logic: An Approach through Post's Lattice. 238-250 - Philippe Balbiani
Ockhamist Propositional Dynamic Logic: A Natural Link between PDL and CTL. 251-265 - Igor Sedlár
Information, Awareness and Substructural Logics. 266-281
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-18 18:32 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: