# Jonathan Stavi

According to our database

Collaborative distances:

^{1}, Jonathan Stavi authored at least 14 papers between 1973 and 1990.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

1990

J. Symb. Log., 1990

1984

Theor. Comput. Sci., 1984

Ann. Pure Appl. Log., 1984

1983

J. Symb. Log., 1983

J. Comput. Syst. Sci., 1983

1981

Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981, 1981

Proceedings of the Automata, 1981

Proceedings of the 22nd Annual Symposium on Foundations of Computer Science, 1981

1980

Triangle <sup>0</sup><sub>2</sub> Operators and Alternating Sentences in Arithmetic.

J. Symb. Log., 1980

Proceedings of the Conference Record of the Seventh Annual ACM Symposium on Principles of Programming Languages, 1980

1977

J. Symb. Log., 1977

Proceedings of the 9th Annual ACM Symposium on Theory of Computing, 1977

1973

Boolean models for some expressive languages and their applications (מודלים בוליאניים לשפות עשירות ושימושיהם.).

PhD thesis, 1973

J. Symb. Log., 1973