Category-based constraint logic

DOI10.1017/S0960129599002960zbMath0955.68022OpenAlexW2147125868MaRDI QIDQ4500173

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 programmingconstraint logic

Mathematics Subject Classification ID

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

Related Items (5)

Herbrand theorems in arbitrary institutions ⋮ Interpolation for predefined types ⋮ Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally ⋮ Structural induction in institutions ⋮ Logical foundations of CafeOBJ

Uses Software

• CafeOBJ

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