default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th WoLLIC 2002: Rio de Janeiro, Brazil
- Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler:
9th Workhop on Logic, Language, Information and Computation, WoLLIC 2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002. Electronic Notes in Theoretical Computer Science 67, Elsevier 2002 - Ricardo Bianconi
:
Definability in o-minimal expansions of the real numbers. 1-6 - Felipe Cucker:
On sparseness and Turing reducibility over the reals. 7-14 - Erich Grädel:
Model Checking Games. 15-34 - Gopalan Nadathur:
The Suspension Notation for Lambda Terms and its Use in Metalanguage Implementations. 35-48 - Rohit Parikh:
States of Knowledge. 49-60 - Igor Walukiewicz:
Deciding low levels of tree-automata hierarchy. 61-75 - Mauricio Ayala-Rincón, Flávio L. C. de Moura, Fairouz Kamareddine:
Comparing Calculi of Explicit Substitutions with Eta-reduction. 76-95 - Benjamín René Callejas Bedregal, Ivanosca Andrade da Silva:
Continuous Domains and their Information System Representation as Logical Systems. 96-115 - Jean-Yves Béziau:
Non Truth-Functional Many-Valuedness. 116-130 - Sabine Broda, Luís Damas:
Studying provability in implicational intuitionistic logic the formula tree approach. 131-147 - Arthur Buchsbaum:
A Logic for Ambiguous Description. 148-165 - Agostino Dovier, Raffaella Gentilini, Carla Piazza, Alberto Policriti:
Rank-Based Symbolic Bisimulation (and Model Checking). 166-183 - Carlos H. C. Duarte, T. S. E. Maibaum:
A Branching Time Logical System for Open Distributed Systems Development. 184-203 - Renata P. de Freitas, Jorge Petrucio Viana:
A Completeness Result for Relation Algebra with Binders. 204-217 - Nikos Gorogiannis, Mark Ryan:
Requirements, specifications, and minimal refinement. 218-232 - Fairouz Kamareddine, François Monin, Mauricio Ayala-Rincón:
On automating the extraction of programs from proofs using product types. 233-253 - Henry E. Kyburg Jr., Choh Man Teng:
The Logic of Risky Knowledge. 254-262 - Norihiro Ogata:
Dynamic Semantics of Plurals DPLQ*. 263-283 - Mauricio Osorio, Juan Antonio Navarro Pérez, José Arrazola:
A logical approach to A-Prolog. 284-295 - Klaus-Dieter Schewe, Jose Maria Turull Torres:
Computable Queries for Object Oriented Databases. 296-312 - Ruy J. G. B. de Queiroz, Luiz Carlos Pereira, Edward Hermann Haeusler:
Preface: WoLLIC 2002. 313-314
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-31 21:49 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:
