Вы здесь

Ringeissen C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Constraint Solver in Finite Algebras and its Combination with Unification Algorithms 1992 Kirchner H., Ringeissen C. Logic Programming: Proc./ Joint Intern. Conf. and Symp. on Logic Programming 19.12.1994
СТ A Pattern Matching Compiler for Multiple Target Languages 2003 Moreau P. -E., Ringeissen C., Vittek M. Lecture Notes in Computer Science 11.04.2003
СТ Combining Symbolic Constraint Solvers on Algebraic Domains 1994 Kirchner H., Ringeissen C. J. Symbolic Computation 09.04.1998