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