Volume 67,
2002
WoLLIC'2002 9th Workhop on Logic,
Language,
Information and Computation
Rio de Janeiro,
Brazil,
30 July to 2 August 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 Petrúcio 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
Last update Tue Feb 14 04:17:29 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
