Volume 16,
Number 1-2,
2006
- Kamal Aboul-Hosn, Dexter Kozen:
KAT-ML: an interactive theorem prover for Kleene algebra with tests.
9-34
- Tomi Janhunen:
Some (in)translatability results for normal logic programs and propositional theories.
35-86
- Patrick Doherty, Martin Magnusson, Andrzej Szalas:
Approximate databases: a support tool for approximate reasoning.
87-118
- Flávio L. C. de Moura, Mauricio Ayala-Rincón, Fairouz Kamareddine:
SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi.
119-150
- Mircea Marin, Temur Kutsia:
Foundations of the rule-based system rLog.
151-168
- Guoqiang Pan, Ulrike Sattler, Moshe Y. Vardi:
BDD-based decision procedures for the modal logic K.
169-208
- Tobias Schmidt-Samoa:
Flexible heuristics for simplification with conditional lemmas by marking formulas as forbidden, mandatory, obligatory, and generous.
209-239
Copyright © Fri Dec 4 20:32:30 2009
by Michael Ley (ley@uni-trier.de)
