Volume 178; Issue 1

Information and Computation

Volume 178; Issue 1
1

Intersection and Singleton Type Assignment Characterizing Finite Böhm-Trees

Toshihiko Kurata
Journal:
Information and Computation
Year:
2002
Language:
english
File:
PDF, 110 KB
english, 2002
2

Prelogical Relations

Furio Honsell, Donald Sannella
Journal:
Information and Computation
Year:
2002
Language:
english
File:
PDF, 189 KB
english, 2002
3

The Box Algebra=Petri Nets+Process Expressions

Eike Best, Raymond Devillers, Maciej Koutny
Journal:
Information and Computation
Year:
2002
Language:
english
File:
PDF, 500 KB
english, 2002
7

Ordered SOS Process Languages for Branching and Eager Bisimulations

Irek Ulidowski, Iain Phillips
Journal:
Information and Computation
Year:
2002
Language:
english
File:
PDF, 281 KB
english, 2002
8

Learning Closed Horn Expressions

Marta Arias, Roni Khardon
Journal:
Information and Computation
Year:
2002
Language:
english
File:
PDF, 233 KB
english, 2002
9

On Complexity of Easy Predictable Sequences

Michael V Vyugin, Vladimir V V'yugin
Journal:
Information and Computation
Year:
2002
Language:
english
File:
PDF, 114 KB
english, 2002
10

The Complexity of Solving Equations over Finite Groups

Mikael Goldmann, Alexander Russell
Journal:
Information and Computation
Year:
2002
Language:
english
File:
PDF, 112 KB
english, 2002
12

The Small Model Property: How Small Can It Be?

Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel
Journal:
Information and Computation
Year:
2002
Language:
english
File:
PDF, 147 KB
english, 2002
13

Context-Sensitive Rewriting Strategies

Salvador Lucas
Journal:
Information and Computation
Year:
2002
Language:
english
File:
PDF, 382 KB
english, 2002
14

Linear Time and the Power of One First-Order Universal Quantifier

Arnaud Durand
Journal:
Information and Computation
Year:
2002
Language:
english
File:
PDF, 120 KB
english, 2002
15

Conservation and Uniform Normalization in Lambda Calculi with Erasing Reductions

Neergaard, P
Journal:
Information and Computation
Year:
2002
Language:
english
File:
PDF, 230 KB
english, 2002
16

On the Nonapproximability of Boolean Functions by OBDDs and Read-k-Times Branching Programs

Bollig, B
Journal:
Information and Computation
Year:
2002
Language:
english
File:
PDF, 154 KB
english, 2002
17

Context-Sensitive Rewriting Strategies

Lucas, S
Journal:
Information and Computation
Year:
2002
Language:
english
File:
PDF, 382 KB
english, 2002
18

The Box Algebra=Petri Nets+Process Expressions

Best, E
Journal:
Information and Computation
Year:
2002
Language:
english
File:
PDF, 500 KB
english, 2002
19

The Small Model Property: How Small Can It Be?

Pnueli, A
Journal:
Information and Computation
Year:
2002
Language:
english
File:
PDF, 147 KB
english, 2002
20

The Complexity of Solving Equations over Finite Groups

Goldmann, M
Journal:
Information and Computation
Year:
2002
Language:
english
File:
PDF, 112 KB
english, 2002
21

Linear Time and the Power of One First-Order Universal Quantifier

Durand, A
Journal:
Information and Computation
Year:
2002
Language:
english
File:
PDF, 120 KB
english, 2002
22

Ordered SOS Process Languages for Branching and Eager Bisimulations

Ulidowski, I
Journal:
Information and Computation
Year:
2002
Language:
english
File:
PDF, 281 KB
english, 2002
23

Prelogical Relations

Honsell, F
Journal:
Information and Computation
Year:
2002
Language:
english
File:
PDF, 189 KB
english, 2002
24

Intersection and Singleton Type Assignment Characterizing Finite Böhm-Trees

Kurata, T
Journal:
Information and Computation
Year:
2002
Language:
english
File:
PDF, 110 KB
english, 2002
25

On Complexity of Easy Predictable Sequences

Vyugin, M
Journal:
Information and Computation
Year:
2002
Language:
english
File:
PDF, 114 KB
english, 2002
26

Learning Closed Horn Expressions

Arias, M
Journal:
Information and Computation
Year:
2002
Language:
english
File:
PDF, 233 KB
english, 2002
27

Relative Undecidability in Term RewritingI. The Termination Hierarchy

GESER, A, MIDDELDORP, A, OHLEBUSCH, E, ZANTEMA, H
Journal:
Information and Computation
Year:
2002
Language:
english
File:
PDF, 243 KB
english, 2002
28

Relative Undecidability in Term RewritingII. The Confluence Hierarchy

GESER, A, MIDDELDORP, A, OHLEBUSCH, E, ZANTEMA, H
Journal:
Information and Computation
Year:
2002
Language:
english
File:
PDF, 142 KB
english, 2002