Recent Advances in Constraints

DOI10.1007/11754602zbMATH Open1180.68099OpenAlexW4299689167MaRDI QIDQ5899112FDOQ5899112

Authors Emmanuel Coquery, François Fages

Publication date 2 May 2007

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11754602

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

Recommendations

• Towards an intersection typed system à la Church
• scientific article; zbMATH DE number 1629952
• A type system with usage aspects
• Specifying type systems
• On termination, confluence and consistent CHR-based type inference
• A type system for logic programs
• Typing in pure type systems
• A polymorphic type system for Prolog
• Publication:4944893

Cited in

(5)

• Ruler: Programming Type Rules
• scientific article; zbMATH DE number 1420825 (Why is no real title available?)
• On termination, confluence and consistent CHR-based type inference
• Type inference using constraint handling rules
• Typing constraint logic programs

This page was built for publication: Recent Advances in Constraints

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