Algebraic and Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540584315, 9783540487913

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Logic programs as term rewriting systems

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-58431-5_16 ◽

1994 ◽

pp. 223-241 ◽

Cited By ~ 9

Author(s):

Massimo Marchiori

Keyword(s):

Term Rewriting ◽

Logic Programs ◽

Term Rewriting Systems ◽

Rewriting Systems

Download Full-text

On modularity of termination and confluence properties of conditional rewrite systems

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-58431-5_14 ◽

1994 ◽

pp. 186-203 ◽

Cited By ~ 3

Author(s):

Bernhard Gramlich

Keyword(s):

Rewrite Systems

Download Full-text

Concurrent constraint programming

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-58431-5_1 ◽

1994 ◽

pp. 1-2

Author(s):

Catuscia Palamidessi

Keyword(s):

Constraint Programming ◽

Concurrent Constraint Programming

Download Full-text

A sequential reduction strategy

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-58431-5_13 ◽

1994 ◽

pp. 168-185 ◽

Cited By ~ 1

Author(s):

Sergio Antoy ◽

Aart Middeldorp

Keyword(s):

Reduction Strategy ◽

Sequential Reduction

Download Full-text

Viewing a program transformation system at work

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-58431-5_3 ◽

1994 ◽

pp. 5-5 ◽

Cited By ~ 2

Author(s):

Robert Paige

Keyword(s):

Program Transformation ◽

Transformation System

Download Full-text

Higher-order minimal function graphs

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-58431-5_17 ◽

1994 ◽

pp. 242-252 ◽

Cited By ~ 4

Author(s):

Neil D Jones ◽

Mads Rosendahl

Keyword(s):

Higher Order ◽

Minimal Function

Download Full-text

A logic for variable aliasing in logic programs

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-58431-5_20 ◽

1994 ◽

pp. 287-304 ◽

Cited By ~ 4

Author(s):

Elena Marchiori

Keyword(s):

Logic Programs

Download Full-text

Three-valued completion for abductive logic programs

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-58431-5_12 ◽

1994 ◽

pp. 150-167 ◽

Cited By ~ 1

Author(s):

Frank Teusink

Keyword(s):

Logic Programs ◽

Abductive Logic

Download Full-text

How to realize LSE narrowing

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-58431-5_7 ◽

1994 ◽

pp. 59-76 ◽

Cited By ~ 1

Author(s):

Andreas Werner ◽

Alexander Bockmayr ◽

Stefan Krischer

Download Full-text

Preserving universal termination through unfold/fold

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-58431-5_19 ◽

1994 ◽

pp. 269-286 ◽

Cited By ~ 14

Author(s):

Annalisa Bossi ◽

Nicoletta Cocco

Download Full-text

Algebraic and Logic Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Logic programs as term rewriting systems

On modularity of termination and confluence properties of conditional rewrite systems

Concurrent constraint programming

A sequential reduction strategy

Viewing a program transformation system at work

Higher-order minimal function graphs

A logic for variable aliasing in logic programs

Three-valued completion for abductive logic programs

How to realize LSE narrowing

Preserving universal termination through unfold/fold

Algebraic and Logic Programming - Lecture Notes in Computer Science
Latest Publications