Author:
Sarna-Starosta Beata,Schrijvers Tom
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Aït-Kaci, H.: Warren’s Abstract Machine: A Tutorial Reconstruction. MIT Press, Cambridge (1991)
2. Lecture Notes in Computer Science;R. Becket,2005
3. Frühwirth, T.: Theory and practice of Constraint Handling Rules. Journal of Logic Programming 37(1–3), 95–138 (1998)
4. Holzbaur, C.: Metastructures vs. Attributed Variables in the Context of Extensible Unification. Technical Report TR-92-23, Austrian Research Institute for Artificial Intelligence, Vienna, Austria (1992)
5. Lecture Notes in Computer Science;C. Holzbaur,1999
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Pre-indexed Terms for Prolog;Logic-Based Program Synthesis and Transformation;2015
2. Unfolding for CHR programs;Theory and Practice of Logic Programming;2013-10-08