Theoretical Computer Science, Volume 100

Volume 100, Number 1, 1992

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/TrahanLR92
- ask others
Jerry L. Trahan, Michael C. Loui, Vijaya Ramachandran: Multiplication, Division and Shift Instructions in Parallel Random Access Machines. 1-44
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Goerdt92a
- ask others
Andreas Goerdt: Characterizing Complexity Classes by Higher Type Primitive Recursive Definitions. 45-66
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/LucaV92
- ask others
Aldo de Luca, Stefano Varricchio: On Noncounting Regular Classes. 67-104
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/HolteRTV92
- ask others
Robert Holte, Louis E. Rosier, Igor Tulchinsky, Donald A. Varvel: Pinwheel Scheduling with Two Distinct Numbers. 105-135
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/BenningerS92
- ask others
Daniel Benninger, Jürg Schmid: Effective Subdirect Decomposition: A Case Study. 137-156
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/BoardP92
- ask others
Raymond A. Board, Leonard Pitt: On the Necessity of Occam Algorithms. 157-184
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/SantoroSS92
- ask others
Nicola Santoro, Jeffrey B. Sidney, Stuart J. Sidney: A Distributed Selection Algorithm and its Expected Communication Complexity. 185-204
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/TodaW92
- ask others
Seinosuke Toda, Osamu Watanabe: Polynomial Time 1-Turing Reductions from #PH to #P. 205-221
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/ErdosH92
- ask others
Paul Erdös, D. Frank Hsu: Distributed Loop Network with Minimum Transmission Delay. 223-241
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Prodinger92
- ask others
Helmut Prodinger: Hypothetical Analyses: Approximate Counting in the Style of Knuth, Path Length in the Style of Flajolet. 243-251
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/BeameBL92
- ask others
Paul Beame, Erik Brisson, Richard E. Ladner: The Complexity of Computing Symmetric Functions Using Threshold Circuits. 253-265

Volume 100, Number 2, 1992

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/MossMG92
- ask others
Lawrence S. Moss, José Meseguer, Joseph A. Goguen: Final Algebras, Cosemicomputable Algebras and Degrees of Unsolvability. 267-302
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Dezani-CiancagliniH92
- ask others
Mariangiola Dezani-Ciancaglini, J. Roger Hindley: Intersection Types for Combinatory Logic. 303-324
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Bartha92
- ask others
Miklós Bartha: Foundations of a Theory of Synchronous Systems. 325-346
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Wang92
- ask others
Ke Wang: On Characterizing Boundedness of Database Schemes with Bounded Dependencies. 347-364
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/BackW92
- ask others
Ralph-Johan Back, Joakim von Wright: Combining Angles, Demons and Miracles in Program Specifications. 365-383
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/Meinke92
- ask others
Karl Meinke: Universal Algebra in Higher Types. 385-417