CiteSeer.IST HomeCheck: The following citations are predicted to all refer to the same paper. Details
D.A. Miller, G. Nadathur, and A. Scedrov. Hereditary Harrop formulas and uniform proof systems. In D. Gries, editor, 2nd Symp. Logic in Computer Science, pages 98-- 105, Ithaca, NY, 1987.
D.A. Miller, G. Nadathur, and A. Scedrov. Hereditary Harrop formulas and uniform proof systems. In D. Gries, editor, 2nd Symp. Logic in Computer Science, pages 98--105, Ithaca, New York, USA, 1987.
Dale Miller, Gopalan Nadathur, and Andre Scedrov. Hereditary Harrop formulas and uniform proof systems. In David Gries, editor, Symposium on Logic in Computer Science, pages 98--105, Ithaca, NY, June 1987.
Dale Miller, Gopalan Nadathur, and Andre Scedrov. Hereditary Harrop formulas and uniform proof systems. In David Gries, editor, Symposium on Logic in Computer Science, pages 98--105, Ithaca, NY, June 1987.
D.A. Miller, G. Nadathur, and A. Scedrov. Hereditary Harrop formulas and uniform proof systems. In D. Gries, editor, 2nd Symp. Logic in Computer Science, pages 98--105, Ithaca, New York, USA, 1987.
Dale Miller, Gopalan Nadathur, and Andre Scedrov. Hereditary Harrop formulas and uniform proof systems. In Second Annual Symposium on Logic in Computer Science, pages 98--105, IEEE, June 1987.
Dale Miller, Gopalan Nadathur, and Andre Scedrov. Hereditary Harrop formulas and uniform proof systems. In Second Annual Symposium on Logic in Computer Science, pages 98--105. IEEE, June 1987.
D.A. Miller, G. Nadathur, and A. Scedrov. Hereditary harrop formulas and uniform proof systems. In D. Gries, editor, 2nd. Symp. Logic in Computer Science, pages 98--105, Ithaca, New york, USA, 1987.
D. Miller, G. Nadathur, and A. Scedrov, Hereditary Harrop Formulas and Uniform Proofs Systems, Proceedings of the Second Annual Symposium on Logic in Computer Science, Ithaca, June 1987, 98 --- 105.
D.A. Miller, G. Nadathur, and A. Scedrov. Hereditary Harrop formulas and uniform proof systems. In D. Gries, editor, 2nd Symp. Logic in Computer Science, pages 98--105, Ithaca, New York, USA, 1987. Irisa ADVANCED LOGIC PROGRAMMING LANGUAGES & COMPUTATIONAL LINGUISTICS 29
Dale Miller, Gopalan Nandathur, and Andre Scedrov. Hereditary Harrop Formulas and Uniform Proof Systems. In Symposium on Logic in Computer Science, pages 98 --- 105. IEEE Computer Society, IEEE Computer Society Press, June 1987.
D.A. Miller, G. Nadathur, and A. Scedrov. Hereditary Harrop formulas and uniform proof systems. In D. Gries, editor, 2nd Symp. Logic in Computer Science, pages 98--105, Ithaca, New York, USA, 1987.
D.A. Miller, G. Nadathur, and A. Scedrov. Hereditary Harrop formulas and uniform proof systems. In D. Gries, editor, 2nd Symp. Logic in Computer Science, pages 98--105, Ithaca, New York, USA, 1987.
D.A. Miller, G. Nadathur, and A. Scedrov. Hereditary Harrop formulas and uniform proof systems. In D. Gries, editor, 2nd Symp. Logic in Computer Science, pages 98--105, Ithaca, NY, 1987. Revised version in [MNPS91].
D. Miller, G. Nadathur, and A. Scedrov. Hereditary Harrop formulas and uniform proof systems. In Proceedings of the Second Annual Symposium on Logic in Computer Science, pages 98--105. IEEE, 1987.
D.A. Miller, G. Nadathur, and A. Scedrov. Hereditary Harrop formulas and uniform proof systems. In D. Gries, editor, 2nd Symp. Logic in Computer Science, pages 98--105, Ithaca, New York, USA, 1987.
D.A. Miller, G. Nadathur and A. Scedrov, Hereditary Harrop Formulas and Uniform Proof Systems, Proceedings of the Second Annual Symposium on Logic in Computer Science, 98-105, Ithaca, June, 1987.
D.A. Miller, G. Nadathur and A. Scedrov, Hereditary Harrop Formulas and Uniform Proof Systems, Proceedings of the Second Annual Symposium on Logic in Computer Science, 98-105, Ithaca, June, 1987.
D.A. Miller, G. Nadathur, and A. Scedrov. Hereditary Harrop formulas and uniform proof systems. In 2nd Symp. Logic in Computer Science, pages 98--105, Ithaca, New York, USA, 1987.
D. Miller, G. Nadathur, and A. Scedrov. Hereditary Harrop formulas and uniform proof systems. In D. Gries, editor, 2nd Symp. Logic in Computer Science, pages 98--105, Ithaca, New York, USA, 1987.
D.A. Miller, G. Nadathur and A. Scedrov, Hereditary Harrop Formulas and Uniform Proof Systems, Proceedings of the Symposium on Logic in Computer Science 98-105, Ithaca, June, 1987.
Dale Miller, Gopalan Nadatur, and Andre Scedrov. Hereditary Harrop Formulas and Uniform Proofs Systems. In Proceedings of the Logic In Computer Science, 1987.
D. A. Miller, G. Nadathur, and A. Scedrov. Hereditary Harrop formulas and uniform proof systems. In Proceedings of the Second Symposium on Logic in Computer Science, Ithaca, New York, 1987. Cornell University, IEEE.
D.A. Miller, G. Nadathur, and A. Scedrov. Hereditary Harrop formulas and uniform proof systems. In D. Gries, editor, 2nd Symp. Logic in Computer Science, pages 98-105, 1987. 37
D.A. Miller, G. Nadathur, and A. Scedrov. Hereditary Harrop formulas and uniform proof systems. In D. Gries, editor, 2nd Symp. Logic in Computer Science, pages 98--105, Ithaca, NY, 1987. Revised version in [42].
D.A. Miller, G. Nadathur, and A. Scedrov. Hereditary Harrop formulas and uniform proof systems. In D. Gries, editor, 2nd Symp. Logic in Computer Science, pages 98--105, Ithaca, New York, USA, 1987.