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

TOTAL DOCUMENTS

26

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540531623, 9783540467380

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Domain theory for nonmonotonic functions

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-53162-9_36 ◽

1990 ◽

pp. 144-157

Author(s):

Yuli Zhou ◽

Robert Muller

Keyword(s):

Download Full-text

Axiomatization of a functional logic language

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-53162-9_33 ◽

1990 ◽

pp. 101-116 ◽

Author(s):

Francois Bronsard ◽

Uday S. Reddy

Keyword(s):

Functional Logic

Download Full-text

Propositional calculus problems in CHIP

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-53162-9_39 ◽

1990 ◽

pp. 189-203 ◽

Author(s):

H. Simonis ◽

M. Dincbas

Keyword(s):

Propositional Calculus

Download Full-text

Termination proofs by multiset path orderings imply primitive recursive derivation lengths

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-53162-9_50 ◽

1990 ◽

pp. 347-358 ◽

Author(s):

Dieter Hofbauer

Keyword(s):

Primitive Recursive ◽

Termination Proofs

Download Full-text

Recursive query processing in predicate-goal graph

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-53162-9_43 ◽

1990 ◽

pp. 247-261

Author(s):

Jia Liang Han

Keyword(s):

Query Processing ◽

Recursive Query ◽

Download Full-text

Fixpoint techniques for non-monotone maps

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-53162-9_35 ◽

1990 ◽

pp. 132-143 ◽

Author(s):

Aïda Batarekh

Keyword(s):

Download Full-text

Hybrid implementations of algebraic specifications

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-53162-9_29 ◽

1990 ◽

pp. 40-54 ◽

Author(s):

H. R. Walters

Keyword(s):

Algebraic Specifications

Download Full-text

Proving correctness w.r.t. specifications with hidden parts

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-53162-9_28 ◽

1990 ◽

pp. 25-39 ◽

Author(s):

Jordi Farrés-Casals

Download Full-text

Implementation of completion by transition rules + control: ORME

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-53162-9_44 ◽

1990 ◽

pp. 262-269 ◽

Author(s):

Pierre Lescanne

Keyword(s):

Transition Rules

Download Full-text

On logic programming interpretations of Dislog: Programming long-distance dependencies in logic

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-53162-9_42 ◽

1990 ◽

pp. 232-246

Author(s):

Patrick Saint-Dizier

Keyword(s):

Logic Programming ◽

Download Full-text