Home
Add Document
Sign In
Create An Account
Logic programs as types for logic programs - Logic in Computer ...
Recommend Documents
No documents
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, ...
×
Report "Logic programs as types for logic programs - Logic in Computer ..."
Your name
Email
Reason
-Select Reason-
Pornographic
Defamatory
Illegal/Unlawful
Spam
Other Terms Of Service Violation
File a copyright complaint
Description
×
Sign In
Email
Password
Remember me
Forgot password?
Sign In
Our partners will collect data and use cookies for ad personalization and measurement.
Learn how we and our ad partner Google, collect and use data
.
Agree & close