Author:
Alpuente M.,Feliú M. A.,Joubert C.,Villanueva A.
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Alpuente, M., Feliú, M., Joubert, C., Villanueva, A.: Defining Datalog in Rewriting Logic. Tech. Rep. DSIC-II/07/09, DSIC, Technical University of Valencia (2009)
2. Alpuente, M., Feliú, M., Joubert, C., Villanueva, A.: Implementing Datalog in Maude. In: Proc. of I Taller de Programación Funcional (TPF 2009), 15–22 (2009)
3. Lecture Notes in Computer Science;M. Alpuente,2009
4. Andersen, H.R.: Model checking and boolean graphs. Theoretical Computer Science 126(1), 3–30 (1994)
5. Bancilhon, F., Maier, D., Sagiv, Y., Ullman, J.D.: Magic Sets and Other Strange Ways to Implement Logic Programs. In: Proc. of the 5th ACM SIGACT-SIGMOD Symposium on Principles of Database Systems (PODS 1986), pp. 1–15. ACM Press, New York (1986)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Query Language Based on Term Matching and Rewriting;Fundamenta Informaticae;2019-10-10
2. Model checking ontology‐driven reasoning agents using strategy and abstraction;Concurrency and Computation: Practice and Experience;2019-04-07
3. Relational Transition System in Maude;Beyond Databases, Architectures and Structures. Towards Efficient Solutions for Data Analysis and Knowledge Representation;2017
4. Rewriting logic bibliography by topic: 1990–2011;The Journal of Logic and Algebraic Programming;2012-10
5. Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction;Model Checking and Artificial Intelligence;2011