Volume 238; Issue 1-2

Theoretical Computer Science

Volume 238; Issue 1-2
1

DNF tautologies with a limited number of occurrences of every variable

P. Savický, Jiřı́ Sgall
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 69 KB
english, 2000
2

Pattern-matching algorithms based on term rewrite systems

Joost-Pieter Katoen, Albert Nymeyer
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 211 KB
english, 2000
3

Index

Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 43 KB
english, 2000
4

Type dependencies for logic programs using ACI-unification

Michael Codish, Vitaly Lagoon
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 197 KB
english, 2000
5

Process languages and nets

Ludwik Czaja
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 217 KB
english, 2000
6

Confluence of extensional and non-extensional λ-calculi with explicit substitutions

Delia Kesner
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 242 KB
english, 2000
7

Loop checking in SLD-derivations by well-quasi-ordering of goals

Giuliano Pacini, Maria I. Sessa
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 172 KB
english, 2000
8

Congruential complements of ground term rewrite systems

Sándor Vágvölgyi
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 224 KB
english, 2000
9

Fixpoint semantics and simulation

Wim H. Hesselink, Albert Thijs
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 220 KB
english, 2000
10

A complexity analysis of bisimilarity for value-passing processes

Michele Boreale, Luca Trevisan
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 243 KB
english, 2000
11

The tree equivalence of linear recursion schemes

V. Sabelfeld
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 206 KB
english, 2000
12

A read-once lower bound and a (1,+k)-hierarchy for branching programs

P. Savický, S. Žák
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 143 KB
english, 2000
13

Generating irregular partitionable data structures

Prakash Panangaden, Clark Verbrugge
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 381 KB
english, 2000
14

Generalized filter models

Ines Margaria, Maddalena Zacchi
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 187 KB
english, 2000
15

Weak confluence and τ-inertness

Mingsheng Ying
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 124 KB
english, 2000
16

No feasible monotone interpolation for simple combinatorial reasoning

Noriko H. Arai
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 70 KB
english, 2000
17

Strictly causal functions have a unique fixed point

Holger Naundorf
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 82 KB
english, 2000
18

Towards a unified view of bisimulation: a comparative study

Markus Roggenbach, Mila Majster-Cederbaum
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 408 KB
english, 2000
19

What is a (non-constructive) non-monotone logical system?

Ph. Besnard, T. Schaub
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 69 KB
english, 2000
20

Linda-based applicative and imperative process algebras

Rocco De Nicola, Rosario Pugliese
Journal:
Theoretical Computer Science
Year:
2000
Language:
english
File:
PDF, 323 KB
english, 2000