A derivation of Cook's simulation algorithm by program transformation

Bibliographische Detailangaben

1. Verfasser:	Watanabe, Osamu (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Tokyo Dep. of Information Sciences, Tokyo Inst. of Technology 1979
Schriftenreihe:	Research reports on information sciences / C 25
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!