Logic Programming and Automated Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

24
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540582168, 9783540485735
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Logical closures

1994 ◽  
pp. 114-128 ◽  
Author(s):  
Dominic Duggan

scholarly journals Goal dependent vs. goal independent analysis of logic programs

1994 ◽  
pp. 305-319 ◽  
Author(s):  
M. Codish ◽  
M. García Banda ◽  
M. Bruynooghe ◽  
M. Hermenegildo
Keyword(s):  
Logic Programs ◽  
Independent Analysis

Higher-order rigid E-unification

1994 ◽  
pp. 129-143 ◽  
Author(s):  
Jean Goubault
Keyword(s):  
Higher Order

Projection in temporal logic programming

1994 ◽  
pp. 333-344 ◽  
Author(s):  
Zhenhua Duan ◽  
Maciej Koutny ◽  
Chris Holt
Keyword(s):  
Logic Programming ◽  
Temporal Logic ◽  
Temporal Logic Programming

Program tactics and logic tactics

1994 ◽  
pp. 16-30 ◽  
Author(s):  
Fausto Giunchiglia ◽  
◽  
Paolo Traverso
Load More ...
Sign in / Sign up

Export Citation Format

Share Document