학술논문
Adding negation-as-failure to intuitionistic logic programming.
Document Type
Proceedings Paper
Author
Bonner, Anthony J. (1-RTG-C) AMS Author Profile; McCarty, L. Thorne (1-RTG-C) AMS Author Profile
Source
Subject
03 Mathematical logic and foundations -- 03B General logic
03B70Logic in computer science
03Mathematical logic and foundations -- 03F Proof theory and constructive mathematics
03F55Intuitionistic mathematics
68Computer science -- 68Q Theory of computing
68Q55Semantics
03B70
03
03F55
68
68Q55
Language
English