More Web Proxy on the site http://driver.im/

For some weeks now, the dblp team has been receiving an exceptionally high number of support and error correction requests from the community. While we are grateful and happy to process all incoming emails, please assume that it will currently take us several weeks to read and address your request. Most importantly, please refrain from sending your request multiple times. This will not advance your issue and will only complicate and extend the time required to address it. Thank you for your understanding.

Joint Declaration: The freedom of science is at the heart of liberal, democratic societies. Without this freedom, it is impossible for scientific efforts to be geared toward gaining knowledge and facts. It is therefore extremely worrying that the scientific freedom is coming under increasing pressure in various regions of the world. (read more)

default search action

combined dblp search
author search
venue search
publication search

ask others

13th WoLLIC 2006: Stanford, CA, USA

> Home > Conferences and Workshops > WoLLIC

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ sciencedirect.com
  - details & citations
- export record
  dblp key:
  - conf/wollic/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/2006
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
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MintsQ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MintsQ06
Grigori Mints, Ruy J. G. B. de Queiroz:
Preface. 1-3
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BaltagS06a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BaltagS06a
Alexandru Baltag, Sonja Smets:
Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision. 5-21
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Fernando06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Fernando06
Tim Fernando:
Situations as Strings. 23-36
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Hughes06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Hughes06
Dominic J. D. Hughes:
Towards Hilbert's 24^th Problem: Combinatorial Proof Invariants: (Preliminary version). 37-63
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Kanazawa06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Kanazawa06
Makoto Kanazawa:
Abstract Families of Abstract Categorial Languages. 65-80
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Kohlenbach06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Kohlenbach06
Ulrich Kohlenbach:
A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces. 81-93
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Leustean06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Leustean06
Laurentiu Leustean:
Proof Mining in R-trees and Hyperbolic Spaces. 95-106
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Maksimova06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Maksimova06
Larisa Maksimova:
On Interpolation Problem in Paraconsistent Extensions of the Minimal Logic. 107-119
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/NoginK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/NoginK06
Aleksey Nogin, Alexei Kopylov:
Formalizing Type Operations Using the "Image" Type Constructor. 121-132
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Renne06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Renne06
Bryan Renne:
Propositional Games with Explicit Strategies. 133-144
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CervesatoS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CervesatoS06
Iliano Cervesato, Andre Scedrov:
Relating State-Based and Process-Based Concurrency through Linear Logic. 145-176
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Suzuki06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Suzuki06
Yoshitaka Suzuki:
Additive Consolidation with Maximal Change. 177-187
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/TiedeK06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/TiedeK06
Hans-Jörg Tiede, Stephan Kepser:
Monadic Second-Order Logic and Transitive Closure Logics over Trees. 189-199
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FreitasVVV06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FreitasVVV06
Renata P. de Freitas, Paulo A. S. Veloso, Sheila R. M. Veloso, Jorge Petrucio Viana:
Reasoning with Graphs. 201-212
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Willard06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Willard06
Dan E. Willard:
The Axiom System ISigma₀ 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.