| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions 1 1 This research has been partially supported by MURST Grant prot. 2001017741 under project “Ragionamento su aggregati e numeri a supporto della programmazione e relative verifiche”.
|
Cantone, Domenico
|
|
2003
|
86 |
1 |
p. 49-60
12 p.
|
artikel
|
| 2 |
Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs
|
Ranise, Silvio
|
|
2003
|
86 |
1 |
p. 105-119
15 p.
|
artikel
|
| 3 |
A Resolution-based Model Building Algorithm for a Fragment of OCC1N =
|
Peltier, Nicolas
|
|
2003
|
86 |
1 |
p. 91-104
14 p.
|
artikel
|
| 4 |
Canonicity 1 1 This research was supported in part by the Israel Science Foundation (grant no. 254/01).
|
Dershowitz, Nachum
|
|
2003
|
86 |
1 |
p. 120-132
13 p.
|
artikel
|
| 5 |
Citius altius fortius
|
Hillenbrand, Thomas
|
|
2003
|
86 |
1 |
p. 9-21
13 p.
|
artikel
|
| 6 |
Combining Non-Stably Infinite Theories
|
Tinelli, Cesare
|
|
2003
|
86 |
1 |
p. 35-48
14 p.
|
artikel
|
| 7 |
Deduction as an Engineering Science
|
Hutter, Dieter
|
|
2003
|
86 |
1 |
p. 1-8
8 p.
|
artikel
|
| 8 |
Exact Algorithms for MAX-SAT
|
Zhang, Hantao
|
|
2003
|
86 |
1 |
p. 190-203
14 p.
|
artikel
|
| 9 |
Learning Strategies for Mechanised Building of Decision Procedures
|
Jamnik, Mateja
|
|
2003
|
86 |
1 |
p. 174-189
16 p.
|
artikel
|
| 10 |
Manipulating Tree Tuple Languages by Transforming Logic Programs 1 1 Extended abstract; see http://www.logic.at/css/ftp03.pdf for the proofs.
|
Limet, Sébastien
|
|
2003
|
86 |
1 |
p. 76-90
15 p.
|
artikel
|
| 11 |
MPTP 0.1 - System Description
|
Urban, Josef
|
|
2003
|
86 |
1 |
p. 147-152
6 p.
|
artikel
|
| 12 |
On leaf permutative theories and occurrence permutation groups
|
Boy de la Tour, Thierry
|
|
2003
|
86 |
1 |
p. 61-75
15 p.
|
artikel
|
| 13 |
Preface
|
Dahn, Ingo
|
|
2003
|
86 |
1 |
p. 204-205
2 p.
|
artikel
|
| 14 |
Quantifier Elimination and Provers Integration
|
Ghilardi, Silvio
|
|
2003
|
86 |
1 |
p. 22-34
13 p.
|
artikel
|
| 15 |
Reachability in Conditional Term Rewriting Systems
|
Feuillade, Guillaume
|
|
2003
|
86 |
1 |
p. 133-146
14 p.
|
artikel
|
| 16 |
Transforming equality logic to propositional logic
|
Zantema, Hans
|
|
2003
|
86 |
1 |
p. 162-173
12 p.
|
artikel
|
| 17 |
VOTE
|
Imine, Abdessamad
|
|
2003
|
86 |
1 |
p. 153-161
9 p.
|
artikel
|
Tijdschrift beschrijving