nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Author Index for Volume 119
|
|
|
1995 |
119 |
2 |
p. 294- 1 p. |
artikel |
2 |
Improved Dynamic Dictionary Matching
|
Amir, A. |
|
1995 |
119 |
2 |
p. 258-282 25 p. |
artikel |
3 |
Infinitary Logic and Inductive Definability over Finite Structures
|
Dawar, A. |
|
1995 |
119 |
2 |
p. 160-175 16 p. |
artikel |
4 |
Intersection and Union Types: Syntax and Semantics
|
Barbanera, F. |
|
1995 |
119 |
2 |
p. 202-230 29 p. |
artikel |
5 |
Loop Circuits and Their Relation to Razborov′s Approximation Model
|
Nakayama, K. |
|
1995 |
119 |
2 |
p. 154-159 6 p. |
artikel |
6 |
New Results on the Star Problem in Trace Monoids
|
Metivier, Y. |
|
1995 |
119 |
2 |
p. 240-251 12 p. |
artikel |
7 |
Redundancy Elimination and Loop Checks for Logic Programs
|
Ferrucci, F. |
|
1995 |
119 |
2 |
p. 137-153 17 p. |
artikel |
8 |
Second Order Isomorphic Types: A Proof Theoretic Study on Second Order λ-Calculus with Surjective Pairing and Terminal Object
|
Dicosmo, R. |
|
1995 |
119 |
2 |
p. 176-201 26 p. |
artikel |
9 |
Simplifying the Design of Knowledge-Based Algorithms Using Knowledge Consistency
|
Neiger, G. |
|
1995 |
119 |
2 |
p. 283-293 11 p. |
artikel |
10 |
The Complexity of Selecting Maximal Solutions
|
Chen, Z.Z. |
|
1995 |
119 |
2 |
p. 231-239 9 p. |
artikel |
11 |
Universal Retractions on DI-Domains
|
Gouy, X. |
|
1995 |
119 |
2 |
p. 252-257 6 p. |
artikel |