A Constant-Space Sequential Model of Computation for First-Order Logic
Steven LindellVolume:
143
Year:
1998
Language:
english
Pages:
20
DOI:
10.1006/inco.1998.2702
File:
PDF, 568 KB
english, 1998