Signed trees an algebraic frame for solving equations on binary trees ; application to LISP program synthesis and derecursivation

Bibliographische Detailangaben

Weitere Verfasser:	Jouannaud, J. P. (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Nancy Centre de Recherche en Informatique 1980
Schriftenreihe:	[CRIN] 80,30
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!