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
12 downloads
0 Views
762KB Size
Report
Comment
Ehud ShapiroI. Weizmann Institute. Abstract. Type checking can be eztremely ...... In
Ehud Shapiro
, editor,. Concurrent Prolog, chapter 28. MIT Press,. 1987.
×
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