Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Y | Author/Editor | Title | ||||||
---|---|---|---|---|---|---|---|---|---|
1 |
| ||||||||
2 |
| ||||||||
16 |
| ||||||||
43 |
| ||||||||
41 |
| ||||||||
37 |
| ||||||||
36 |
| ||||||||
39 |
| ||||||||
58 |
| ||||||||
48 |
| ||||||||
61 |
| ||||||||
6 |
|
| |||||||
2 |
|
| |||||||
30 |
|
| |||||||
15 |
|
| |||||||
3 |
|
| |||||||
5 |
|
| |||||||
Baumeister, Hubert | Relations between Abstract Datatypes modeled as Abstract Datatypes Universität des Saarlandes | ||||||||
Hustadt, Ullrich | Resolution-Based Decision Procedures for Subclasses of First-Order Logic Universität des Saarlandes | ||||||||
Meyer, Christoph | Soft Typing for Clausal Inference Systems Universität des Saarlandes | ||||||||
Stuber, Jürgen | Superposition Theorem Proving for Commutative Algebraic Theories Universität des Saarlandes | ||||||||
Tzakova, Miroslava | Hybrid Languages Universität des Saarlandes | ||||||||
73 |
| ||||||||
42 |
| ||||||||
64 |
| ||||||||
55 |
| ||||||||
64 |
| ||||||||
47 |
| ||||||||
26 |
| ||||||||
26 |
|