Author:
Beriashvili Mariam,Dundua Besik
Publisher
Springer International Publishing
Reference23 articles.
1. Bojanczyk, M., Walukiewicz, I.: Forest algebras. In: Flum, J., Grädel, E., Wilke, T. (eds.) Logic and Automata. Texts in Logic and Games, vol. 2, pp. 107–132. Amsterdam University Press (2008)
2. Boley, H.: A Tight, Practical Integration of Relations and Functions. Lecture Notes in Computer Science, vol. 1712. Springer, Berlin (1999)
3. Chasseur, E., Deville, Y.: Logic program schemas, constraints, and semi-unification. In: Fuchs, N.E. (ed.) LOPSTR. Lecture Notes in Computer Science, vol. 1463, pp. 69–89. Springer, Berlin (1997)
4. Comon, H.: Completion of rewrite systems with membership constraints. Part II: constraint solving. J. Symb. Comput. 25(4), 421–453 (1998)
5. Dovier, A., Piazza, C., Pontelli, E., Rossi, G.: Sets and constraint logic programming. ACM Trans. Program. Lang. Syst. 22(5), 861–931 (2000)