scientific article; zbMATH DE number 1420816
From MaRDI portal
zbMATH Open0949.68030MaRDI QIDQ4944882FDOQ4944882
Authors: Wim Van Hoof, Bern Martens, Danny De Schreye, K. De Vlaminck 
Publication date: 22 March 2000
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 1222414
- Basic transformation operations which preserve computed answer substitutions of logic programs
- Publication:4506395
- Derivation of efficient logic programs by specialization and reduction of nondeterminism
- Supporting Transformations for the Partial Evaluation of Logic Programs
Cited In (7)
- Supporting Transformations for the Partial Evaluation of Logic Programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Predicate specialization for definitional higher-order logic programs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Derivation of efficient logic programs by specialization and reduction of nondeterminism
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4944882)
