scientific article; zbMATH DE number 4164151

zbMATH Open0708.68039MaRDI QIDQ3490963FDOQ3490963

Authors: C. Beierle, U. Pletat 

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 3936490
• Specifying, programming and verifying with equational logic
• scientific article; zbMATH DE number 4164125
• scientific article; zbMATH DE number 408803
• An equational approach to logic programming
• Formal and practical aspects of implementing abstract data types in the prolog instruction
• scientific article; zbMATH DE number 4172407
• scientific article; zbMATH DE number 1342287
• A type system for logic programs
• Foundations of equational logic programming

zbMATH Keywords

abstract data typeslogic programmingequational specificationmany- sorted logic programs

Mathematics Subject Classification ID

Logic programming (68N17) Abstract data types; algebraic specification (68Q65)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3490963)