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

9783540506676, 9783540460633

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Fuzzy reasoning based on f-horn clause rules

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-50667-5_73 ◽

1988 ◽

pp. 214-222 ◽

Cited By ~ 1

Author(s):

Dongbo Liu ◽

Deyi Li

Keyword(s):

Fuzzy Reasoning ◽

Horn Clause

Download Full-text

Narrowing in partial conditional equational theories

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-50667-5_76 ◽

1988 ◽

pp. 244-244

Author(s):

Uwe Wolter

Keyword(s):

Equational Theories

Download Full-text

Modular algebraic specifications

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-50667-5_69 ◽

1988 ◽

pp. 168-179 ◽

Cited By ~ 1

Author(s):

Horst Hansen ◽

Michael Löwe

Keyword(s):

Algebraic Specifications

Download Full-text

Functional data term models and semantic unification

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-50667-5_68 ◽

1988 ◽

pp. 158-167 ◽

Cited By ~ 2

Author(s):

Hans-Joachim Goltz

Keyword(s):

Functional Data ◽

Data Term ◽

Semantic Unification

Download Full-text

Rewrite rule systems for modal propositional logic

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-50667-5_66 ◽

1988 ◽

pp. 147-156 ◽

Cited By ~ 1

Author(s):

Annie Foret

Keyword(s):

Propositional Logic ◽

Rule Systems ◽

Modal Propositional Logic

Download Full-text

Translating algebraic specifications to Prolog programs: A comparative study

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-50667-5_65 ◽

1988 ◽

pp. 137-146 ◽

Cited By ~ 3

Author(s):

K. Drosten

Keyword(s):

Comparative Study ◽

Algebraic Specifications ◽

Prolog Programs

Download Full-text

Types, modularisation and abstraction in logic programming

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-50667-5_64 ◽

1988 ◽

pp. 127-136 ◽

Cited By ~ 2

Author(s):

George Dayantis

Keyword(s):

Logic Programming

Download Full-text

An effective method for handling initial algebras

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-50667-5_62 ◽

1988 ◽

pp. 108-118 ◽

Cited By ~ 10

Author(s):

Hubert Comon

Download Full-text

Integrating logic programming and equational specification of abstract data types

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-50667-5_59 ◽

1988 ◽

pp. 71-82

Author(s):

Christoph Beierle ◽

Udo Pletat

Keyword(s):

Logic Programming ◽

Abstract Data Types ◽

Data Types ◽

Abstract Data

Download Full-text

A new quasi-reducibility testing algorithm and its application to proofs by induction

Algebraic and Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-50667-5_72 ◽

1988 ◽

pp. 204-213 ◽

Cited By ~ 5

Author(s):

G. A. Kucherov

Keyword(s):

Testing Algorithm

Download Full-text

Algebraic and Logic Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Fuzzy reasoning based on f-horn clause rules

Narrowing in partial conditional equational theories

Modular algebraic specifications

Functional data term models and semantic unification

Rewrite rule systems for modal propositional logic

Translating algebraic specifications to Prolog programs: A comparative study

Types, modularisation and abstraction in logic programming

An effective method for handling initial algebras

Integrating logic programming and equational specification of abstract data types

A new quasi-reducibility testing algorithm and its application to proofs by induction

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