Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

31
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540429357, 9783540456353
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming

2001 ◽  
pp. 166-180 ◽  
Author(s):  
Samik Basu ◽  
Madhavan Mukund ◽  
C. R. Ramakrishnan ◽  
I. V. Ramakrishnan ◽  
Rakesh Verma
Keyword(s):  
Logic Programming ◽  
Constraint Logic Programming

scholarly journals A Computational Model for Functional Logic Deductive Databases

2001 ◽  
pp. 331-347 ◽  
Author(s):  
Jesús M. Almendros-Jiménez ◽  
Antonio Becerra-Terón ◽  
Jaime Sánchez-Hernández
Keyword(s):  
Computational Model ◽  
Deductive Databases ◽  
Functional Logic

scholarly journals Practical Aspects for a Working Compile Time Garbage Collection System for Mercury

2001 ◽  
pp. 105-119 ◽  
Author(s):  
Nancy Mazur ◽  
Peter Ross ◽  
Gerda Janssens ◽  
Maurice Bruynooghe
Keyword(s):  
Garbage Collection ◽  
Collection System
Load More ...
Sign in / Sign up

Export Citation Format

Share Document