DOI10.1017/S1471068403001881zbMath1088.68028MaRDI QIDQ4669647
Mauricio Osorio, José Ramón Enrique Arrazola Ramírez, J. A. Navarro
Publication date: 15 April 2005 Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
zbMATH Keywords
program transformation
Mathematics Subject Classification ID
03B70: Logic in computer science
68N17: Logic programming
03B55: Intermediate logics
Related Items