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