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

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

7
(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540650744, 9783540496748
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Logic Framework for the Incremental Inductive Synthesis of Datalog Theories

1998 ◽  
pp. 300-321 ◽  
Author(s):  
Giovanni Semeraro ◽  
Floriana Esposito ◽  
Donato Malerba ◽  
Nicola Fanizzi ◽  
Stefano Ferilli
Keyword(s):  
Inductive Synthesis

On Correct Program Schemas

1998 ◽  
pp. 128-147 ◽  
Author(s):  
Pierre Flener ◽  
Kung-Kiu Lau ◽  
Mario Ornaghi
Keyword(s):  
Correct Program

scholarly journals Termination Analysis for Tabled Logic Programming

1998 ◽  
pp. 111-127 ◽  
Author(s):  
Stefaan Decorte ◽  
Danny De Schreye ◽  
Michael Leuschel ◽  
Bern Martens ◽  
Konstantinos Sagonas
Keyword(s):  
Logic Programming ◽  
Termination Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document