A tableau calculus for minimal model reasoning
Gespeichert in:
| Veröffentlicht in: | Alternative Konzepte für Sprachen und Rechner ; Bad Honnef 1995 |
|---|---|
| 1. Verfasser: | |
| Pages: | 1995 |
| Format: | UnknownFormat |
| Veröffentlicht: |
1996
|
| Schriftenreihe: | Fachberichte Informatik / Universität Koblenz-Landau, Fachbereich Informatik
96,5 |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Titel | Jahr | Verfasser |
|---|---|---|
| Generic support for understanding heterogeneous software | 1996 | Ebert, Jürgen |
| A comparison of STATIC semantics with D-WFS | 1996 | |
| A tableau calculus for minimal model reasoning | 1996 | Niemelä, Ilkka |
| Characterizations and implementation of static semantics of disjunctive programs | 1996 | Brass, Stefan |