Extensions of Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

22
(FIVE YEARS 0)

H-INDEX

4
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540580256, 9783540484172
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Definitional reflection and the completion

1994 ◽  
pp. 333-347 ◽  
Author(s):  
Peter Schroeder-Heister

scholarly journals Representation and inference with consistent temporal propositions

1994 ◽  
pp. 322-332
Author(s):  
Cristina Ribeiro ◽  
António Porto

scholarly journals Some experimental results in implementing a logic language with multi-head clauses on a Transputer architecture

1994 ◽  
pp. 62-76 ◽  
Author(s):  
Anna Ciampolini ◽  
Evelina Lamma ◽  
Paola Mello ◽  
Cesare Stefanelli
Keyword(s):  
Experimental Results

scholarly journals Contradiction: When avoidance equals removal Part II

1994 ◽  
pp. 268-281 ◽  
Author(s):  
Luís Moniz Pereira ◽  
José Júlio Alferes

scholarly journals Contradiction: When avoidance equals removal Part I

1994 ◽  
pp. 11-23 ◽  
Author(s):  
José Júlio Alferes ◽  
Luís Moniz Pereira

scholarly journals Regular search spaces as a foundation of logic programming

1994 ◽  
pp. 222-254 ◽  
Author(s):  
Alberto Momigliano ◽  
Mario Ornaghi
Keyword(s):  
Logic Programming ◽  
Search Spaces

scholarly journals Programming methodologies in GCLA

1994 ◽  
pp. 120-151
Author(s):  
Göran Falkman ◽  
Olof Torgersson
Load More ...
Sign in / Sign up

Export Citation Format

Share Document