J. Shepherdson

发表

John C. Shepherdson, J. Shepherdson, 1959, IBM J. Res. Dev..
J. Shepherdson, P. Braffort, D. Hirschberg, 1965 .
C. C. Elgot, J. Shepherdson, S. Eilenberg, 1969 .
J. Shepherdson, A. Fröhlich, 1956, Philosophical Transactions of the Royal Society of London. Series A, Mathematical and Physical Sciences.
W. Quine, J. Shepherdson, Donald A. Martin, 1965 .
John C. Shepherdson, J. Shepherdson, 1985, J. Log. Program..
J. Shepherdson, 1983 .
John C. Shepherdson, J. Shepherdson, J. Myhill, 1955 .
John C. Shepherdson, S. Korner, M. D. Gladstone, 1988, J. Symb. Log..
J. C. Shepherdson, Charles Antony Richard Hoare, C. Hoare, 1985 .
John C. Shepherdson, J. Shepherdson, 1976, Math. Log. Q..
John C. Shepherdson, J. Shepherdson, 1947 .
John C. Shepherdson, Verena H. Dyson, James P. Jones, 1980, Arch. Math. Log..
John C. Shepherdson, J. Shepherdson, 1981, Theor. Comput. Sci..
John C. Shepherdson, J. Shepherdson, 1952, Journal of Symbolic Logic.
John C. Shepherdson, J. Shepherdson, 1988 .
J. Shepherdson, M. Gladstone, S. Korner, 1964, Journal of Symbolic Logic.
J. Shepherdson, 1954 .
John C. Shepherdson, J. Shepherdson, 1951, Journal of Symbolic Logic.
J. C. Shepherdson, J. Shepherdson, 1992 .
John C. Shepherdson, J. Shepherdson, 1988, Foundations of Deductive Databases and Logic Programming..
John W. Lloyd, John C. Shepherdson, J. Lloyd, 1991, J. Log. Program..
John N. Crossley, John C. Shepherdson, J. Shepherdson, 1993 .
John C. Shepherdson, J. Shepherdson, 1992, Mathematical Structures in Computer Science.
John C. Shepherdson, J. Shepherdson, 1982, Theor. Comput. Sci..
C. C. Elgot, Calvin C. ELGOT, John C. SHEPHERDSON, 1979, Theor. Comput. Sci..
John C. Shepherdson, Howard E. Sturgis, J. Shepherdson, 1963, JACM.
John C. Shepherdson, H. E. Rose, J. Shepherdson, 1974, Journal of Symbolic Logic.
J. Shepherdson, G. K. Mcgowan, W. H. Walker, 1971, Clinica chimica acta; international journal of clinical chemistry.
Petr Hájek, John C. Shepherdson, J. Shepherdson, 2001, Ann. Pure Appl. Log..
Petr Hájek, Jeff B. Paris, John C. Shepherdson, 2000, Journal of Symbolic Logic.
J. C. Shepherdson, J. Shepherdson, 1980 .
John C. Shepherdson, J. Shepherdson, 1991, J. Log. Program..
John C. Shepherdson, J. Shepherdson, 1989, Theor. Comput. Sci..
John C. Shepherdson, Kerima Benkerimi, J. Shepherdson, 1994, J. Log. Program..
Petr Hájek, Jeff B. Paris, John C. Shepherdson, 2000, Journal of Symbolic Logic.
John W. Lloyd, John C. Shepherdson, Patricia M. Hill, 1990, Journal of Logic and Computation.
John C. Shepherdson, James P. Jones, J. Shepherdson, 1983, Arch. Math. Log..
J. C. Shepherdson, J. Shepherdson, 1987 .