Вы здесь
Ringeissen C.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | 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 | |||
| СТ | 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 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Algebraic Methodology and Software Technology: Proc./9th Intern. Conf., AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 2002 | 2002 | Lecture Notes in Computer Science |
|
10.10.2002 | |||
| СБ | Frontiers of Combining Systems: Proc./Third Intern. Workshop, FroCoS 2000. Nancy, France, March 2000 | 2000 | Lecture Notes in Artificial Intelligence |
|
22.04.2000 |