Logic Program Synthesis and Transformation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

18
(FIVE YEARS 0)

H-INDEX

5
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540627180, 9783540684947
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Enhancing partial deduction via unfold/fold rules

1997 ◽  
pp. 146-168 ◽  
Author(s):  
Alberto Pettorossi ◽  
Maurizio Proietti ◽  
Sophie Renault
Keyword(s):  
Partial Deduction

scholarly journals Conjunctive partial deduction in practice

1997 ◽  
pp. 59-82 ◽  
Author(s):  
Jesper Jørgensen ◽  
Michael Leuschel ◽  
Bern Martens
Keyword(s):  
Partial Deduction

scholarly journals Typed norms for typed logic programs

1997 ◽  
pp. 224-238 ◽  
Author(s):  
Jonathan C. Martin ◽  
Andy King ◽  
Paul Soper
Keyword(s):  
Logic Programs
Load More ...
Sign in / Sign up

Export Citation Format

Share Document