Chicago Journal of Theoretical Computer Science, 1998

Volume 1998, 1998

• Thomas Thierauf:
  The Isomorphism Problem for Read-Once Branching Programs and Arithmetic Circuits.
  Electronic Edition (link) BibTeX
• Orna Kupferman, Moshe Y. Vardi:
  Verification of Fair Transition Systems.
  Electronic Edition (link) BibTeX
• Yehuda Afek, Anat Bremler-Barr:
  Self-Stabilizing Unidirectional Network Algorithms by Power Supply.
  Electronic Edition (link) BibTeX
• Sandeep S. Kulkarni, Anish Arora:
  Multitolerance in Distributed Reset.
  Electronic Edition (link) BibTeX