Isoinitial Models for Logic Programs: A Preliminary Study
暂无分享,去创建一个
[1] Evelina Lamma,et al. Modularity in Logic Programming , 1994, J. Log. Program..
[2] John W. Lloyd. A Formal Approach to Deductive Synthesis of Constraint Logic Programs , 1995 .
[3] Antonio Brogi,et al. Modular logic programming , 1994, TOPL.
[4] Christoph Kreitz,et al. Formal Reasoning about Modules, Reuse and their Correctness , 1996, FAPR.
[5] Kung-Kiu Lau,et al. Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs , 1995, LOPSTR.
[6] Alberto Bertoni,et al. On the power of model theory in specifying abstract data types and in capturing their recursiveness , 1983 .
[7] Pierangelo Miglioli,et al. Abstract Parametric Classes and Abstract Data Types defined by Classical and Constructive Logical Methods , 1994, J. Symb. Comput..
[8] R. Reiter. On Closed World Data Bases , 1987, Logic and Data Bases.
[9] Pierangelo Miglioli,et al. Constructive Theories with Abstract Data Types for Program Synthesis , 1987 .
[10] Wilfrid Hodges,et al. Logical features of Horn Clauses , 1993 .