Sauro Tulipani
Sauro Tulipani.
Decidability of the existential theory of infinite terms with subterm relation.
Information and Computation
, 108(1):1-33, January 1994.
Abstract and References.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database