Program development in computational logic. A decade of research advances in logic-based program development.

DOI10.1007/b98187zbMath1051.68004OpenAlexW2504992661MaRDI QIDQ1890039

No author found.

Publication date: 17 December 2004

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

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

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic programming (68N17)

Related Items (1)

Determinization of conditional term rewriting systems

This page was built for publication: Program development in computational logic. A decade of research advances in logic-based program development.