Y. B. Pnueli

List of publications from the DBLP Bibliography Server - FAQ

1998

5 Johann A. Makowsky, Y. B. Pnueli: Erratum to ``Arity and Alternation in Second-Order Logic. Ann. Pure Appl. Logic 92(2): 215 (1998)

1996

4 Johann A. Makowsky, Y. B. Pnueli: Arity and Alternation in Second-Order Logic. Ann. Pure Appl. Logic 78(1-3): 189-202 (1996)

1994

3 Johann A. Makowsky, Y. B. Pnueli: Logics Capturing Relativized Complexity Classes Uniformly. LCC 1994: 463-479

2 Johann A. Makowsky, Y. B. Pnueli: Arity vs. Alternation in Second Order Logic. LFCS 1994: 240-252

1993

1 Johann A. Makowsky, Y. B. Pnueli: Oracles and Quantifiers. CSL 1993: 189-222

1998
5		Johann A. Makowsky, Y. B. Pnueli: Erratum to ``Arity and Alternation in Second-Order Logic. Ann. Pure Appl. Logic 92(2): 215 (1998)
1996
4		Johann A. Makowsky, Y. B. Pnueli: Arity and Alternation in Second-Order Logic. Ann. Pure Appl. Logic 78(1-3): 189-202 (1996)
1994
3		Johann A. Makowsky, Y. B. Pnueli: Logics Capturing Relativized Complexity Classes Uniformly. LCC 1994: 463-479
2		Johann A. Makowsky, Y. B. Pnueli: Arity vs. Alternation in Second Order Logic. LFCS 1994: 240-252
1993
1		Johann A. Makowsky, Y. B. Pnueli: Oracles and Quantifiers. CSL 1993: 189-222

Coauthor Index

1 Johann A. Makowsky (Janos Makowsky) [1] [2] [3] [4] [5]