You are here

Publications

Export 1 results:
Filters: Author is Schreye, D. de  [Clear All Filters]
Conference Proceedings
M. Alpuente, Feliú, M. A., Joubert, C., and Villanueva, A., Defining Datalog in Rewriting Logic, Proceedings of the 19th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'09), vol. 6037. Springer-Verlag, pp. 188–204, 2010.