Lewis D. Baxter
Lewis D. Baxter.
The undecidability of the third order dyadic unification problem.
Information and Control
, 38(2):170-178, August 1978.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database