Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21st 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, Hans van Ditmarsch, Raul Fervari, François Schwarzentruber:
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, Carles Noguera:
Modal Logics of Uncertainty with Two-Layer Syntax: A General Completeness Theorem. 124-136 - Liron Cohen, Arnon Avron:
Ancestral Logic: A Proof Theoretical Study. 137-151 - Alessandra Di Pierro, Federica Panarotto:
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, Petrucio Viana:
On Distributed Stochastic Logics for Mobile Systems. 195-205 - Ori Lahav, Yoni Zohar:
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
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-25 05:26 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:
