Efficient recursion termination for function-free horn logic

Bibliographische Detailangaben

1. Verfasser:	Wong, Wang-chan (VerfasserIn)
Weitere Verfasser:	Bic, Lubomir (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Irvine, Calif. Dep. of Information and Computer Science, Univ. of Calif. 1986
Schriftenreihe:	Technical report / Department of Information and Computer Science, University of California, Irvine 86,26
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!