Logic programs with equational type specifications

DOI10.1007/3-540-53162-9_31MaRDI QIDQ5096188zbMATH OpenOpenAlexFDO

Authors Michael Hanus

Publication date 16 August 2022

Published in Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-53162-9_31

Mathematics Subject Classification ID

Logic programming (68N17)

Cites work

• A Machine-Oriented Logic Based on the Resolution Principle
• A polymorphic type system for Prolog
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3970817 (Why is no real title available?)
• scientific article; zbMATH DE number 3978351 (Why is no real title available?)
• scientific article; zbMATH DE number 3988745 (Why is no real title available?)
• scientific article; zbMATH DE number 4026804 (Why is no real title available?)
• scientific article; zbMATH DE number 193539 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• On specifications, theories, and models with higher types

This page was built for publication: Logic programs with equational type specifications

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