Programming Languages and Systems

DOI10.1007/11693024zbMath1178.68149OpenAlexW2491912653MaRDI QIDQ5899019

Peter J. Stuckey, V. Lagoon, Michael Codish, Peter Schachte

Publication date: 2 May 2007

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

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

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Fast offline partial evaluation of logic programs ⋮ Proving Termination with (Boolean) Satisfaction

This page was built for publication: Programming Languages and Systems