default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13th WoLLIC 2006: Stanford, CA, USA
- Grigori Mints, Ruy J. G. B. de Queiroz:
Proceedings of the 13th Workshop on Logic, Language, Information and Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21, 2006. Electronic Notes in Theoretical Computer Science 165, Elsevier 2006 - Grigori Mints, Ruy J. G. B. de Queiroz:
Preface. 1-3 - Alexandru Baltag, Sonja Smets
:
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision. 5-21 - Tim Fernando:
Situations as Strings. 23-36 - Dominic J. D. Hughes:
Towards Hilbert's 24th Problem: Combinatorial Proof Invariants: (Preliminary version). 37-63 - Makoto Kanazawa:
Abstract Families of Abstract Categorial Languages. 65-80 - Ulrich Kohlenbach:
A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces. 81-93 - Laurentiu Leustean:
Proof Mining in R-trees and Hyperbolic Spaces. 95-106 - Larisa Maksimova:
On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic. 107-119 - Aleksey Nogin, Alexei Kopylov:
Formalizing Type Operations Using the "Image" Type Constructor. 121-132 - Bryan Renne:
Propositional Games with Explicit Strategies. 133-144 - Iliano Cervesato, Andre Scedrov:
Relating State-Based and Process-Based Concurrency through Linear Logic. 145-176 - Yoshitaka Suzuki:
Additive Consolidation with Maximal Change. 177-187 - Hans-Jörg Tiede, Stephan Kepser:
Monadic Second-Order Logic and Transitive Closure Logics over Trees. 189-199 - Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana:
Reasoning with Graphs. 201-212 - Dan E. Willard:
The Axiom System ISigma0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem. 213-226
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-10-31 20:18 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:
