Howard A. Blair
Howard A. Blair.
The recursion-theoretical complexity of the semantics of predicate logic as a programming language.
Information and Control
, 54(1/2):25-47, July/August 1982.
References and Citations.
Shortcuts:
Information and Computation homepage
Bibliography top level
Information and Computation Author Index
Search the HBP database