scientific article; zbMATH DE number 1487848
From MaRDI portal
Publication:4494372
zbMath0953.68031MaRDI QIDQ4494372
C. R. Ramakrishnan, Abhik Roychoudhury, I. V. Ramakrishnan, K. Narayan Kumar
Publication date: 10 August 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Constraint-based correctness proofs for logic program transformations ⋮ Inverse Unfold Problem and Its Heuristic Solving ⋮ Derivation of efficient logic programs by specialization and reduction of nondeterminism
This page was built for publication:
