default search action
21st WoLLIC 2014: Valparaíso, Chile
- Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz:
Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings. Lecture Notes in Computer Science 8652, Springer 2014, ISBN 978-3-662-44144-2 - Luca Viganò
, Marco Volpe, Margherita Zorzi
Quantum State Transformations and Branching Distributed Temporal Logic - (Invited Paper). 1-19 - Sergio Abriola, María Emilia Descotte, Santiago Figueira:
Definability for Downward and Vertical XPath on Data Trees. 20-35 - Beniamino Accattoli, Claudio Sacerdoti Coen
On the Value of Variables. 36-50 - Carlos Areces
Logics with Copy and Remove. 51-65 - Alexander Baumgartner, Temur Kutsia
Unranked Second-Order Anti-Unification. 66-80 - Gustavo Adrian Bodanza, Claudio A. Alessio:
Reinstatement and the Requirement of Maximal Specificity in Argument Systems. 81-93 - Ruan Carvalho, Laís Andrade, Anjolina Grisi de Oliveira, Ruy J. G. B. de Queiroz:
Sequentialization for N-Graphs via Sub-N-Graphs. 94-108 - Ivano Ciardelli:
Interrogative Dependencies and the Constructive Content of Inquisitive Proofs. 109-123 - Petr Cintula
Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem. 124-136 - Liron Cohen
Ancestral Logic: A Proof Theoretical Study. 137-151 - Alessandra Di Pierro
A Calculus of Anyons. 152-165 - Zoltán Ésik, Panos Rondogiannis:
Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars. 166-180 - Zachary Heckle, Pavel Naumov
Common Knowledge Semantics of Armstrong's Axioms. 181-194 - Juliana Küster Filipe Bowles
On Distributed Stochastic Logics for Mobile Systems. 195-205 - Ori Lahav
On the Construction of Analytic Sequent Calculi for Sub-classical Logics. 206-220 - Dan E. Willard:
On the Broader Epistemological Significance of Self-Justifying Axiom Systems. 221-236
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-11-21 20:17 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: