Publications

Export 4 results:

Filters: First Letter Of Last Name is O [Clear All Filters]

2005

G. E. Ostrin and S. S. Wainer, “Elementary Arithmetic”, Annals of Pure and Applied Logic, vol. 133, p. 275{–}292, 2005.

2002

G. E. Ostrin and S. S. Wainer, “Proof theoretic complexity”, in Proof and System Reliability, 2002, vol. 62, p. 369{–}398.

1997

E. E. Clarke, M. Fujita, and W. Heinle, “Hybrid spectral transform diagrams”, in Proceedings of the International Conference on Information and Communications Security, 1997, vol. 1334, p. 251{–}255.

1996

A. Heuerding, M. Seyfried, and H. Zimmermann, “Efficient loop-check for backward proof search in some non-classical propositional logics”, in Proceedings of Tableaux '96, 1996, vol. 1071, p. 210{–}225.