|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
14 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An algebraic formulation of the aggregative closure query |
Park, Uchang |
1996 |
166 | 1-2 |
p. 49-62 14 p. |
artikel |
|
| 2 | A non-ground realization of the stable and well-founded semantics |
Gottlob, Georg |
1996 |
166 | 1-2 |
p. 221-262 42 p. |
artikel |
|
| 3 | Author index volume 166 (1996) |
1996 |
166 | 1-2 |
p. 301- 1 p. |
artikel |
||
| 4 | Comparing models of the intensional typed λ-calculus |
Hoofman, R |
1996 |
166 | 1-2 |
p. 83-99 17 p. |
artikel |
|
| 5 | Editorial Board |
1996 |
166 | 1-2 |
p. iii-vi nvt p. |
artikel |
||
| 6 | Errata |
1996 |
166 | 1-2 |
p. x- 1 p. |
artikel |
||
| 7 | Interval logics and their decision procedures |
Ramakrishna, Y.S |
1996 |
166 | 1-2 |
p. 1-47 47 p. |
artikel |
|
| 8 | Logical analysis of demonic nondeterministic programs |
Demri, Stéphane |
1996 |
166 | 1-2 |
p. 173-202 30 p. |
artikel |
|
| 9 | Meta-resolution: An algorithmic formalisation |
Fouks, Jean-Denis |
1996 |
166 | 1-2 |
p. 147-172 26 p. |
artikel |
|
| 10 | Monadic partition logics and finite automata |
Shen, Enshao |
1996 |
166 | 1-2 |
p. 63-81 19 p. |
artikel |
|
| 11 | The largest cartesian closed category of stable domains |
Zhang, Guo-Qiang |
1996 |
166 | 1-2 |
p. 203-219 17 p. |
artikel |
|
| 12 | The undecidability of simultaneous rigid E-unification |
Degtyarev, Anatoli |
1996 |
166 | 1-2 |
p. 291-300 10 p. |
artikel |
|
| 13 | Topological methods for algebraic specification |
Meinke, Karl |
1996 |
166 | 1-2 |
p. 263-290 28 p. |
artikel |
|
| 14 | Transformations of CLP modules |
Etalle, Sandro |
1996 |
166 | 1-2 |
p. 101-146 46 p. |
artikel |
14 gevonden resultaten