Theoretical Computer Science, Volume 238

Volume 238, Numbers 1-2, 6 May 2000

• Viktor K. Sabelfeld:
  The tree equivalence of linear recursion schemes. 1-29
  Electronic Edition (link) BibTeX
• Prakash Panangaden, Clark Verbrugge:
  Generating irregular partitionable data structures. 31-80
  Electronic Edition (link) BibTeX
• Markus Roggenbach, Mila E. Majster-Cederbaum:
  Towards a unified view of bisimulation: a comparative study. 81-130
  Electronic Edition (link) BibTeX
• Michael Codish, Vitaly Lagoon:
  Type dependencies for logic programs using ACI-unification. 131-159
  Electronic Edition (link) BibTeX
• Ludwik Czaja:
  Process languages and nets. 161-181
  Electronic Edition (link) BibTeX
• Delia Kesner:
  Confluence of extensional and non-extensional lambda-calculi with explicit substitutions. 183-220
  Electronic Edition (link) BibTeX
• Giuliano Pacini, Maria I. Sessa:
  Loop checking in SLD-derivations by well-quasi-ordering of goals. 221-246
  Electronic Edition (link) BibTeX
• Sándor Vágvölgyi:
  Congruential complements of ground term rewrite systems. 247-274
  Electronic Edition (link) BibTeX
• Wim H. Hesselink, Albert Thijs:
  Fixpoint semantics and simulation. 275-311
  Electronic Edition (link) BibTeX
• Michele Boreale, Luca Trevisan:
  A complexity analysis of bisimilarity for value-passing processes. 313-345
  Electronic Edition (link) BibTeX
• Petr Savický, Stanislav Zák:
  A read-once lower bound and a (1, +k)-hierarchy for branching programs. 347-362
  Electronic Edition (link) BibTeX
• Ines Margaria, Maddalena Zacchi:
  Generalized filter models. 363-387
  Electronic Edition (link) BibTeX
• Rocco De Nicola, Rosario Pugliese:
  Linda-based applicative and imperative process algebras. 389-437
  Electronic Edition (link) BibTeX
• Joost-Pieter Katoen, Albert Nymeyer:
  Pattern-matching algorithms based on term rewrite systems. 439-464
  Electronic Edition (link) BibTeX
• Mingsheng Ying:
  Weak confluence and tau-inertness. 465-475
  Electronic Edition (link) BibTeX
• Noriko H. Arai:
  No feasible monotone interpolation for simple combinatorial reasoning. 477-482
  Electronic Edition (link) BibTeX
• Holger Naundorf:
  Strictly causal functions have a unique fixed point. 483-488
  Electronic Edition (link) BibTeX
• Philippe Besnard, Torsten Schaub:
  What is a (non-constructive) non-monotone logical system? 489-494
  Electronic Edition (link) BibTeX
• Petr Savický, Jiri Sgall:
  DNF tautologies with a limited number of occurrences of every variable. 495-498
  Electronic Edition (link) BibTeX