Y. B. Pnueli

According to our database, Y. B. Pnueli authored at least 5 papers between 1993 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

1998

Erratum to "Arity and Alternation in Second-Order Logic".

Johann A. Makowsky, Y. B. Pnueli

Ann. Pure Appl. Log., 1998

1996

Arity and Alternation in Second-Order Logic.

Johann A. Makowsky, Y. B. Pnueli

Ann. Pure Appl. Log., 1996

1994

Arity vs. Alternation in Second Order Logic.

Johann A. Makowsky, Y. B. Pnueli

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

Logics Capturing Relativized Complexity Classes Uniformly.

Johann A. Makowsky, Y. B. Pnueli

Proceedings of the Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, 1994

1993

Oracles and Quantifiers.

Johann A. Makowsky, Y. B. Pnueli

Proceedings of the Computer Science Logic, 7th Workshop, 1993