Simultaneous Replacement in Normal Programs
From MaRDI portal
Publication:4870068
DOI10.1093/logcom/6.1.79zbMath0844.68013MaRDI QIDQ4870068
Nicoletta Cocco, Sandro Etalle, Annalisa Bossi
Publication date: 17 March 1996
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://research.utwente.nl/en/publications/simultaneous-replacement-in-normal-programs(bc853fe5-0314-4627-adf8-49e375ec4798).html
68Q55: Semantics in the theory of computing
68N17: Logic programming
68N01: General topics in the theory of software
Related Items
A semantics for modular general logic programs, Totally correct logic program transformations via well-founded annotations, BEYOND TAMAKI-SATO STYLE UNFOLD/FOLD TRANSFORMATIONS FOR NORMAL LOGIC PROGRAMS