Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

37

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540554608, 9783540470830

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Deep logic program transformation using abstract interpretation

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-55460-2_7 ◽

1992 ◽

pp. 79-101 ◽

Author(s):

Dmitri Yu. Boulanger

Keyword(s):

Program Transformation ◽

Abstract Interpretation ◽

Download Full-text

Objects in a logic programming framework

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-55460-2_8 ◽

1992 ◽

pp. 102-113 ◽

Author(s):

Antonio Brogi ◽

Evelina Lamma ◽

Paola Mello

Keyword(s):

Logic Programming ◽

Programming Framework

Download Full-text

A declarative debugging environment for DATALOG

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-55460-2_32 ◽

1992 ◽

pp. 433-441 ◽

Author(s):

Francesco Russo ◽

Mirko Sancassani

Download Full-text

Compiling Flang

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-55460-2_21 ◽

1992 ◽

pp. 286-293

Author(s):

Andrei Mantsivoda ◽

Vyacheslav Petukhin

Download Full-text

Or-parallel Prolog with heuristic task distribution

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-55460-2_14 ◽

1992 ◽

pp. 193-200

Author(s):

Wai -Keong Foong

Keyword(s):

Task Distribution

Download Full-text

Prolog semantics for measuring space consumption

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-55460-2_13 ◽

1992 ◽

pp. 177-192 ◽

Author(s):

A. Ja. Dikovsky

Keyword(s):

Measuring Space

Download Full-text

WAM algebras—A mathematical study of implementation Part 2

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-55460-2_4 ◽

1992 ◽

pp. 35-54 ◽

Author(s):

Egon Börger ◽

Dean Rosenzweig

Keyword(s):

Mathematical Study

Download Full-text

Logical operational semantics of Parlog Part II: Or-Parallelism

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-55460-2_3 ◽

1992 ◽

pp. 27-34 ◽

Author(s):

Egon Börger ◽

Elvinia Riccobene

Keyword(s):

Operational Semantics

Download Full-text

Abdugtive systems for non-monotonig reasoning

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-55460-2_5 ◽

1992 ◽

pp. 55-65

Author(s):

A. G. Bondarenko

Download Full-text

Some considerations on the logic PFD

Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-55460-2_36 ◽

1992 ◽

pp. 474-485 ◽

Author(s):

Wiebe van der Hoek

Download Full-text