| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Comparative Analysis of Possibilistic Variances and Covariances of Fuzzy Numbers
|
Zhang, Wei-Guo
|
|
2007
|
79 |
1-2 |
p. 257-263
|
artikel
|
| 2 |
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
|
Eiter, Thomas
|
|
2007
|
79 |
1-2 |
p. 25-69
|
artikel
|
| 3 |
An Algebraic Characterization of the Halting Probability
|
Chaitin, Gregory
|
|
2007
|
79 |
1-2 |
p. 17-23
|
artikel
|
| 4 |
A Note on the Emptiness of Semigroup Intersections
|
Bell, Paul
|
|
2007
|
79 |
1-2 |
p. 1-4
|
artikel
|
| 5 |
A Propositional Proof System with Quantification Over Permutations
|
Herman, Grzegorz
|
|
2007
|
79 |
1-2 |
p. 71-83
|
artikel
|
| 6 |
Bounded Model Checking for the Existential Fragment of TCTL_{-G} and Diagonal Timed Automata
|
Woźna, Bożena
|
|
2007
|
79 |
1-2 |
p. 229-256
|
artikel
|
| 7 |
Composition Theorem for Generalized Sum
|
Rabinovich, Alexander
|
|
2007
|
79 |
1-2 |
p. 137-167
|
artikel
|
| 8 |
Davis-Putnam Style Rules for Deciding Property S
|
Cowen, Robert
|
|
2007
|
79 |
1-2 |
p. 5-15
|
artikel
|
| 9 |
Foundations of Modal Deductive Databases
|
Nguyen, Linh Anh
|
|
2007
|
79 |
1-2 |
p. 85-135
|
artikel
|
| 10 |
Optimal Proof Systems, Optimal Acceptors and Recursive Presentability
|
Sadowski, Zenon
|
|
2007
|
79 |
1-2 |
p. 169-185
|
artikel
|
| 11 |
Predicate Introduction for Logics with a Fixpoint Semantics. Part I: Logic Programming
|
Vennekens, Joost
|
|
2007
|
79 |
1-2 |
p. 187-208
|
artikel
|
| 12 |
Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic
|
Vennekens, Joost
|
|
2007
|
79 |
1-2 |
p. 209-227
|
artikel
|
Tijdschrift beschrijving