Temporal annotated constraint logic programming

DOI10.1006/JSCO.1996.0066zbMath0867.68025OpenAlexW2092514393MaRDI QIDQ679329

Thom Frühwirth

Publication date: 7 August 1997

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/2ad34be9fc9ae4895265644b373c9b146f4fed15

zbMATH Keywords

annotated constraint logicconstraint logic programming languages

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (3)

MetateM: An introduction ⋮ Linear time-dependent constraints programming with MSVL ⋮ Knowledge representation with multiple logical theories and time

This page was built for publication: Temporal annotated constraint logic programming