scientific article

zbMath0966.68044MaRDI QIDQ2701986

Alessandra Raffaetà, Thom Frühwirth

Publication date: 12 March 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

top-down semanticstemporal annotated constraint logic programming

Mathematics Subject Classification ID

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