Generic support for understanding heterogeneous software

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Alternative Konzepte für Sprachen und Rechner ; Bad Honnef 1995
1. Verfasser:	Ebert, Jürgen (VerfasserIn)
Weitere Verfasser:	Kamp, Manfred (VerfasserIn), Winter, Andreas (VerfasserIn)
Pages:	1995
Format:	UnknownFormat
Veröffentlicht:	1996
Schriftenreihe:	Fachberichte Informatik / Universität Koblenz-Landau, Fachbereich Informatik 96,3
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Titel	Jahr	Verfasser
A comparison of STATIC semantics with D-WFS	1996
A tableau calculus for minimal model reasoning	1996	Niemelä, Ilkka
Generic support for understanding heterogeneous software	1996	Ebert, Jürgen
Characterizations and implementation of static semantics of disjunctive programs	1996	Brass, Stefan