![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
9th 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.