Treinen, Ralf.
Overview
| Works: | 2 works in 0 publications in 0 languages | |
|---|---|---|
Titles
Constraints in computational logicstheory and applications : international summer school, CCL'99 Gif-sur-Yvette, France, September 5-8, 1999, revised lectures /
by:
(1998 :); Comon, Hubert.; Marche, Claude.; SpringerLink (Online service); Treinen, Ralf.
(Electronic resources)
Rewriting techniques and applications20th International Conference, RTA 2009 Brasilia, Brazil, June 29 - July 1, 2009 ; proceedings /
by:
(1998 :); SpringerLink (Online service); Treinen, Ralf.
(Electronic resources)
Subjects
Mathematical Logic and Foundations.
Rewriting systems (Computer science)
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Algorithms
Logic programming.
Computer programming
Programming Languages, Compilers, Interpreters.
Computer Science.
Discrete Mathematics in Computer Science.
Symbolic and Algebraic Manipulation.
Constraint programming (Computer science)