(Un)decidability results for trigger design theories

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Siebes, Arno P. J. M. (VerfasserIn)
Weitere Verfasser: Akker, Johan F. P. van den (VerfasserIn), Voort, M. H. van der (VerfasserIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Amsterdam Department of Software Technology; CWI 1995
Schriftenreihe:Report CS / Centrum voor Wiskunde en Informatica, Department of Computer Science 9556
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:31 S