Proc. 2nd Int. Symp. Logical Foundations of Computer Science
Banishing robust Turing completeness, HemJaiVer-LFCS-92
[
D. Eppstein publications
] [
Citation database
] [
Locations
]
Fano
Experimental Web Server,
D. Eppstein
,
School of Information & Computer Science
,
UC Irvine