Category-based constraint logic

DOI10.1017/S0960129599002960MaRDI QIDQ4500173zbMATH OpenOpenAlexFDO

Authors Răzvan Diaconescu

Publication date 4 September 2000

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129599002960

zbMATH Keywords

constraint logicconstraint programming

Mathematics Subject Classification ID

Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• An introduction to category-based equational logic
• Category-based modularisation for equational logic programming
• scientific article; zbMATH DE number 826301
• scientific article; zbMATH DE number 2079032

Cited in

(10)

• A new framework for declarative programming
• Logical foundations of CafeOBJ
• Category-based modularisation for equational logic programming
• Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally
• Herbrand theorems in arbitrary institutions
• Interpolation for predefined types
• scientific article; zbMATH DE number 1222420 (Why is no real title available?)
• scientific article; zbMATH DE number 2079032 (Why is no real title available?)
• An introduction to category-based equational logic
• Structural induction in institutions

Describes a project that uses

Uses Software

• CafeOBJ

This page was built for publication: Category-based constraint logic

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