Logic programs with equational type specifications

DOI10.1007/3-540-53162-9_31zbMath1493.68070OpenAlexW174022805MaRDI QIDQ5096188

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 polymorphic type system for Prolog
• On specifications, theories, and models with higher types
• A Machine-Oriented Logic Based on the Resolution Principle
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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