Implementation of logics
Guest Editors: Boris Konev, Renate Schmidt, Stephan Schulz |
|
| LISTE DES ARTICLES POUR LE VOL 16/1-2 - 2006 |
| • |
Contents
[GRATUIT]
- pp.5-5 |
| • |
Foreword
[GRATUIT]
- pp.7-8 |
| • |
KAT-ML: an interactive theorem prover for Kleene algebra with tests
K.ABOUL-HOSN, D.KOZEN
- pp.9-34 |
| • |
Some (in)translatability results for normal logic programs and propositional theories
T.JANHUNEN
- pp.35-86 |
| • |
Approximate databases: a support tool for approximate reasoning
P.DOHERTY, M.MAGNUSSON, A.SZAłAS
- pp.87-118 |
| • |
SUBSEXPL: a tool for simulating and comparing explicit substitutions calculi
F.DE MOURA, M.AYALA-RINCÓN, F.KAMAREDDINE
- pp.119-150 |
| • |
Foundations of the rule-based system ρLog
M.MARIN, T.KUTSIA
- pp.151-168 |
| • |
BDD-based decision procedures for the modal logic K
G.PAN, U.SATTLER, M.VARDI
- pp.169-208 |
| • |
Flexible heuristics for simplification with conditional lemmas by marking formulas as forbidden, mandatory, obligatory, and generous
T.SCHMIDT-SAMOA
- pp.209-239 |
| ACHETEZ CE NUMÉRO (version imprimée) |
