Search Results - "Deduction and Theorem Proving- logic programming. Keywords"
-
1
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.2.2 [Software Engineering, Tools and Techniques, D.2.4 [Software Engineering, Program Verification, D.3.1 [Programming Languages, Formal Definitions and Theory- semantics, F.3.2 [Logic and Meaning of Programs, Semantics of Programming Languages, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving- logic programming. Keywords, Abstract interpretation, logic programming, program analysis
File Description: application/postscript
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.8.2486; http://profs.sci.univr.it/~giaco/download/toplas15.ps.gz
-
2
Authors:
Contributors:
Subject Terms: Logic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic — logic programming, I.2.2 [Artificial Intelligence, Automatic Programming, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving — logic programming Keywords Partial evaluation, partial deduction, Prolog, program transformation
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.9095; http://www.mauricio.varea.info/publications/papers/conferences/1111557.pdf
-
3
Authors:
Contributors:
Subject Terms: Logic Programming, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic — logic programming, I.2.2 [Artificial Intelligence, Automatic Programming, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving — logic programming Keywords Partial evaluation, partial deduction, Prolog, program transformation
File Description: application/pdf
Nájsť tento článok vo Web of Science