Theoretical Computer Science, Volume 266

Volume 266, Number 1-2, September 2001

• Carsten Schürmann, Joëlle Despeyroux, Frank Pfenning:
  Primitive recursion for higher-order abstract syntax. 1-57
  Electronic Edition (link) BibTeX
• Tatsuru Matsushita, Colin Runciman:
  The accepting power of unary string logic programs. 59-79
  Electronic Edition (link) BibTeX
• Gabriel Aguilera, Inman P. de Guzmán, Manuel Ojeda-Aciego, Agustín Valverde:
  Reductions for non-clausal theorem proving. 81-112
  Electronic Edition (link) BibTeX
• Klaus U. Schulz, Stephan Kepser:
  Combination of constraint systems II: Rational amalgamation. 113-157
  Electronic Edition (link) BibTeX
• René David:
  On the asymptotic behaviour of primitive recursive algorithms. 159-193
  Electronic Edition (link) BibTeX
• Karl Lermer, Paul A. Strooper:
  Refinement and state machine abstraction. 195-235
  Electronic Edition (link) BibTeX
• Michele Boreale, Rocco De Nicola, Rosario Pugliese:
  Divergence in testing and readiness semantics. 237-248
  Electronic Edition (link) BibTeX
• Masatomo Hashimoto, Atsushi Ohori:
  A typed context calculus. 249-272
  Electronic Edition (link) BibTeX
• David Aspinall, Adriana B. Compagnoni:
  Subtyping dependent types. 273-309
  Electronic Edition (link) BibTeX
• Manolis Koubarakis:
  Tractable disjunctions of linear constraints: basic results and applications to temporal reasoning. 311-339
  Electronic Edition (link) BibTeX
• Ralph Loader:
  Finitary PCF is not decidable. 341-364
  Electronic Edition (link) BibTeX
• Duminda Wijesekera, M. Ganesh, Jaideep Srivastava, Anil Nerode:
  Normal forms and syntactic completeness proofs for functional independencies. 365-405
  Electronic Edition (link) BibTeX
• César Muñoz:
  Proof-term synthesis on dependent-type systems via explicit substitutions. 407-440
  Electronic Edition (link) BibTeX
• Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
  Loop checks for logic programs with functions. 441-461
  Electronic Edition (link) BibTeX
• Michel Bauderon, Hélène Jacquet:
  Node rewriting in graphs and hypergraphs: a categorical framework. 463-487
  Electronic Edition (link) BibTeX
• Susumu Yamasaki, Yoshinori Kurose:
  A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics. 489-512
  Electronic Edition (link) BibTeX
• Annabelle McIver, Carroll Morgan:
  Partial correctness for probabilistic demonic programs. 513-541
  Electronic Edition (link) BibTeX
• Riccardo Pucella, Prakash Panangaden:
  On the expressive power of first-order boolean functions in PCF. 543-567
  Electronic Edition (link) BibTeX
• Cédric Fournet, Cosimo Laneve:
  Bisimulations in the join-calculus. 569-603
  Electronic Edition (link) BibTeX
• Jirí Srba:
  Basic process algebra with deadlocking states. 605-630
  Electronic Edition (link) BibTeX
• Jan Friso Groote, Jos van Wamel:
  The parallel composition of uniform processes with data. 631-652
  Electronic Edition (link) BibTeX
• Uri Abraham, Shlomi Dolev, Ted Herman, Irit Koll:
  Self-stabilizing l-exclusion. 653-692
  Electronic Edition (link) BibTeX
• James Riely, Matthew Hennessy:
  Distributed processes and location failures. 693-735
  Electronic Edition (link) BibTeX
• Zurab Khasidashvili:
  On the longest perpetual reductions in orthogonal expression reduction systems. 737-772
  Electronic Edition (link) BibTeX
• Gilles Barthe, John Hatcliff, Morten Heine Sørensen:
  An induction principle for pure type systems. 773-818
  Electronic Edition (link) BibTeX
• Karl Schlechta, Jürgen Dix:
  Explaining updates by minimal sums. 819-838
  Electronic Edition (link) BibTeX
• Mingsheng Ying, Martin Wirsing:
  Recursive equations in higher-order process calculi. 839-852
  Electronic Edition (link) BibTeX
• Robert Goldblatt:
  What is the coalgebraic analogue of Birkhoff's variety theorem? 853-886
  Electronic Edition (link) BibTeX
• Vincenzo Auletta, Ioannis Caragiannis, Luisa Gargano, Christos Kaklamanis, Pino Persiano:
  Sparse and limited wavelength conversion in all-optical tree networks. 887-934
  Electronic Edition (link) BibTeX
• Mila E. Majster-Cederbaum:
  Underspecification for a simple process algebra of recursive processes. 935-950
  Electronic Edition (link) BibTeX
• Raymond Turner:
  Type inference for set theory. 951-974
  Electronic Edition (link) BibTeX
• Thierry Joly:
  Constant time parallel computations in lambda-calculus. 975-985
  Electronic Edition (link) BibTeX
• Thomas Krantz, Virgile Mogbil:
  Encoding Hamiltonian circuits into multiplicative linear logic. 987-996
  Electronic Edition (link) BibTeX
• Dieter Spreen:
  Corrigendum to "On functions preserving levels of approximation: a refined model construction for various lambda calculi". 997-998
  Electronic Edition (link) BibTeX