Refine your search
Availability
-
Authors
- Baader, Franz (1)
- Bachmair, Leo (1)
- Book, Ronald V. (2)
- Comon, Hubert (1)
- Comon-Lundh, Hubert (1)
- Dershowitz, N. (1)
- Dorr, Heiko (1)
- Ganzinger, Harald (1)
- Hsiang, Jieh (1)
- International CTRS w... (1)
- Jantzen, Matthias (1)
- Kirchner, Claude (1)
- Narendran, Paliath (1)
- Nipkow, Tobias (1)
- Roy, Suchismita (1)
- Sivakumar, G. (1)
- Tison, Sophie (1)
- Treinen, Ralf (1)
- van-Eekelen, Marko (1)
- Voronkov, Andrei (1)
- Show more
- Show less
-
Item types
- Books (31)
- E-Books (1)
- Theses and Dissertations (1)
-
Locations
-
Series
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Lecture notes in com... (1)
- Show more
- Show less
-
Topics
- Abstract data types ... (5)
- Algebra-Congresses (2)
- Computer Science and... (14)
- Computer science-Con... (1)
- Computer science-Mat... (2)
- Functional programmi... (1)
- Logic, Symbolic and ... (2)
- Rewriting systems (C... (6)
- Rewriting systems (C... (5)
- Rewriting systems (C... (2)
- Rewriting systems (C... (2)
- Rewriting systems(Co... (6)
- Rewriting systems(Co... (2)
- Rewriting systems(Co... (1)
- Rewriting systems(Co... (1)
- Rewriting systems(Co... (1)
- Rewriting systems(Co... (1)
- Rewriting systems(Co... (1)
- Rewriting systems(Co... (1)
- Sivakumar, G. (1)
- Show more
- Show less