| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
Author Index for Volume 119
|
|
|
1995
|
119 |
2 |
p. 294-
1 p.
|
article
|
| 2 |
Improved Dynamic Dictionary Matching
|
Amir, A.
|
|
1995
|
119 |
2 |
p. 258-282
25 p.
|
article
|
| 3 |
Infinitary Logic and Inductive Definability over Finite Structures
|
Dawar, A.
|
|
1995
|
119 |
2 |
p. 160-175
16 p.
|
article
|
| 4 |
Intersection and Union Types: Syntax and Semantics
|
Barbanera, F.
|
|
1995
|
119 |
2 |
p. 202-230
29 p.
|
article
|
| 5 |
Loop Circuits and Their Relation to Razborov′s Approximation Model
|
Nakayama, K.
|
|
1995
|
119 |
2 |
p. 154-159
6 p.
|
article
|
| 6 |
New Results on the Star Problem in Trace Monoids
|
Metivier, Y.
|
|
1995
|
119 |
2 |
p. 240-251
12 p.
|
article
|
| 7 |
Redundancy Elimination and Loop Checks for Logic Programs
|
Ferrucci, F.
|
|
1995
|
119 |
2 |
p. 137-153
17 p.
|
article
|
| 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.
|
article
|
| 9 |
Simplifying the Design of Knowledge-Based Algorithms Using Knowledge Consistency
|
Neiger, G.
|
|
1995
|
119 |
2 |
p. 283-293
11 p.
|
article
|
| 10 |
The Complexity of Selecting Maximal Solutions
|
Chen, Z.Z.
|
|
1995
|
119 |
2 |
p. 231-239
9 p.
|
article
|
| 11 |
Universal Retractions on DI-Domains
|
Gouy, X.
|
|
1995
|
119 |
2 |
p. 252-257
6 p.
|
article
|
Journal description