Author:
Cristiá Maximiliano,Rossi Gianfranco
Funder
Fondo para la Investigación Científica y Tecnológica
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference55 articles.
1. Andréka, H., Givant, S.R., Németi, I.: Decision Problems for Equational Theories of Relation Algebras, vol. 604. American Mathematical Society, Providence (1997)
2. Arias, E.J.G., Lipton, J., Mariño, J.: Constraint logic programming with a relational machine. For. Asp. Comput. 29(1), 97–124 (2017).
https://doi.org/10.1007/s00165-016-0369-z
3. Armstrong, A., Struth, G., Weber, T.: Program analysis and verification based on Kleene algebra in Isabelle/HOL. In: Blazy, S., Paulin-Mohring, C., Pichardie, D. (eds.) Interactive Theorem Proving—4th International Conference, ITP 2013, Rennes, France, July 22–26, 2013. Proceedings. Lecture Notes in Computer Science, vol. 7998, pp. 197–212. Springer, Berlin (2013).
https://doi.org/10.1007/978-3-642-39634-2_16
4. Azevedo, F.: Cardinal: a finite sets constraint solver. Constraints 12(1), 93–129 (2007).
https://doi.org/10.1007/s10601-006-9012-6
5. Berghammer, R.: Relview.
http://www.informatik.uni-kiel.de/~progsys/relview/
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献