Induction on non-freely generated data types

Zugl.: Saarbrücken, Univ., Diss., 1996

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Sengler, Claus (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Sankt Augustin Infix 1997
Schriftenreihe:	Dissertationen zur künstlichen Intelligenz 160
Schlagworte:	Hochschulschrift > Programmverifikation > Datentyp > Induktionsbeweis > Automatisches Beweisverfahren
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!