Chicago Journal of Theoretical Computer Science, 1998

Volume 1998, 1998

- view
  - electronic edition @ uchicago.edu
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cjtcs/Thierauf98
- ask others
Thomas Thierauf: The Isomorphism Problem for Read-Once Branching Programs and Arithmetic Circuits.
- view
  - electronic edition @ uchicago.edu
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cjtcs/KupfermanV98
- ask others
Orna Kupferman, Moshe Y. Vardi: Verification of Fair Transition Systems.
- view
  - electronic edition @ uchicago.edu
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cjtcs/AfekB98
- ask others
Yehuda Afek, Anat Bremler-Barr: Self-Stabilizing Unidirectional Network Algorithms by Power Supply.
- view
  - electronic edition @ uchicago.edu
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/cjtcs/KulkarniA98
- ask others
Sandeep S. Kulkarni, Anish Arora: Multitolerance in Distributed Reset.