Logic programs as types for logic programs - Logic in Computer ...

Download PDF
19 downloads 2241 Views 762KB Size Report
Comment
use an analogy with 2-way automate and a correspon- dence with alternating ... San Jose, CA 95120-6099, USA, email: vardmibmmom. “Dept. of Applied Math, ...