On monadic NP vs monadic co-NP
- Ronald Fagin
- Larry J. Stockmeyer
- et al.
- 1995
- Information and Computation
Publications
Date
Featured collections
Popular topics
48 results at Information and Computation
Decidability of systems of set constraints with negative constraints
- Alexander Aiken
- Dexter Kozen
- et al.
- 1995
- Information and Computation
Reasoning about Infinite Computations
- Moshh Vardi
- Pierre Wolper
- 1994
- Information and Computation
Calling names on nameless networks
- Baruch Schieber
- Marc Snir
- 1994
- Information and Computation
Decidability and expressiveness for first-order logics of probability
- Martin Abadi
- Joseph Y. Halpern
- 1994
- Information and Computation
Tolerating a linear number of faults in networks of bounded degree
- Eli Upfal
- 1994
- Information and Computation
Proving nondeterministically specified safety properties using progress measures
- Nils Klarlund
- Fred B. Schneider
- 1993
- Information and Computation
Infinitary logics and 0-1 laws
- Phokion G. Kolaitis
- Moshe Y. Vardi
- 1992
- Information and Computation
Shifting gears: Changing algorithms on the fly to expedite Byzantine agreement
- Amotz Bar-Noy
- Danny Dolev
- et al.
- 1992
- Information and Computation
Approximate algorithms for the knapsack problem on parallel computers
- P.S. Gopalakrishnan
- I.V. Ramakrishnan
- et al.
- 1991
- Information and Computation