Theoretical Computer Science, Volume 155

Volume 155, Number 1, 26 February 1996

• Stephen L. Bloom, Zoltán Ésik:
  Fixed-Point Operations on ccc's. Part I. 1-38
  Electronic Edition (link) BibTeX
• Davide Sangiorgi:
  Locality and Interleaving Semantics in Calculi for Mobile Processes. 39-83
  Electronic Edition (link) BibTeX
• Fairouz Kamareddine, Rob Nederpelt:
  A Useful lambda-Notation. 85-109
  Electronic Edition (link) BibTeX
• Neil Immerman, Sushant Patnaik, David W. Stemple:
  The Expressiveness of a Family of Finite Set Languages. 111-140
  Electronic Edition (link) BibTeX
• Jean-Michel Fourneau, Erol Gelenbe, Rina Suros:
  G-Networks with Multiple Classes of Negative and Positive Customers. 141-156
  Electronic Edition (link) BibTeX
• Vadam Kagan, Anil Nerode, V. S. Subrahmanian:
  Computing Minimal Models by Partial Instantiation. 157-177
  Electronic Edition (link) BibTeX
• Flemming Nielson, Hanne Riis Nielson:
  From CML to its Process Algebra. 179-219
  Electronic Edition (link) BibTeX
• Guo-Qiang Zhang:
  Quasi-Prime Algebraic Domains. 221-264
  Electronic Edition (link) BibTeX
• Martin W. Bunder, J. Roger Hindley:
  Two beta-Equal lambda-I-Terms with no Types in Common. 265-266
  Electronic Edition (link) BibTeX
• Thomas Drakengren:
  Uniqueness of Scott's Reflexive Domain in P-omega. 267-276
  Electronic Edition (link) BibTeX
• Wenhui Zhang:
  Number of Models and Satisfiability of Sets of Clauses. 277-288
  Electronic Edition (link) BibTeX

Volume 155, Number 2, 11 March 1996

• Gregory Kucherov, Pierre Lescanne, Peter D. Mosses:
  Valentin M. Antimirov (1961-1995). 289-290 BibTeX
• Valentin M. Antimirov:
  Partial Derivatives of Regular Expressions and Finite Automaton Constructions. 291-319
  Electronic Edition (link) BibTeX
• Elena Barcucci, Alberto Del Lungo, Maurice Nivat, Renzo Pinzani:
  Reconstructing Convex Polyominoes from Horizontal and Vertical Projections. 321-347
  Electronic Edition (link) BibTeX
• Jörg Keller:
  Fast Rehashing in PRAM Emulations. 349-363
  Electronic Edition (link) BibTeX
• Steffen Lange, Thomas Zeugmann, Shyam Kapur:
  Monotonic and Dual Monotonic Language Learning. 365-410
  Electronic Edition (link) BibTeX
• Kazuo Iwama, Chuzo Iwamoto, Manzur Morshed:
  Time Lower Bounds do not Exist for CRCW PRAMs. 411-424
  Electronic Edition (link) BibTeX
• Andrzej Ehrenfeucht, Paulien ten Pas, Grzegorz Rozenberg:
  A Note on Binary Grammatical Codes of Trees. 425-438
  Electronic Edition (link) BibTeX
• Jean Berstel, Jean-Eric Pin:
  Local Languages and the Berry-Sethi Algorithm. 439-446
  Electronic Edition (link) BibTeX
• Lane A. Hemaspaandra, Albrecht Hoene, Mitsunori Ogihara:
  Reducibility Classes of P-Selective Sets. 447-457
  Electronic Edition (link) BibTeX