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 |
| ||||||||
73 |
| ||||||||
42 |
| ||||||||
64 |
| ||||||||
1 |
|
| |||||||
6 |
|
| |||||||
1 |
|
| |||||||
35 |
|
| |||||||
7 |
|
| |||||||
6 |
|
| |||||||
6 |
|
| |||||||
Autexier, Serge | Heuristiken zum Beweisen von Gleichungen Universität des Saarlandes | ||||||||
Bach, Alexander | Static analysis of functional programs via Linear Logic Universität des Saarlandes | ||||||||
Engel, Thorsten | Quantifier Elimination in Second-Order Predicate Logic Universität des Saarlandes | ||||||||
Meyer, Christoph | Parallel Unit Resulting Resolution Universität des Saarlandes | ||||||||
Schlobach, Stefan | Untersuchung nicht-monotoner Logiken - Fallstudie zur Automatisierung Universität des Saarlandes | ||||||||
Smaus, Jan-Georg | Finding Resolution K-Transformations Universität des Saarlandes | ||||||||
1 |
|
| |||||||
1 |
|
| |||||||
55 |
|