Richard Waldinger

Binding

ICSC, pp.13-20, (2011)

IUI, pp.299-302, (2011)

AAAI Spring Symposium: Semantic Scientific Knowledge Integration, pp.109-113, (2008)

PloS one, no. 4 (2007): e339-e339

HLT-NAACL-GEOREF '03 Proceedings of the HLT-NAACL 2003 workshop on Analysis of geographic references..., pp.10-17, (2003)

The deductive foundations of computer programming: a one-volume version of “the logical basis for co..., (1993)

IEEE Trans. Software Eng., no. 8 (1992): 674-704

Artificial intelligence and mathematical theory of computation, pp.261-280, (1991)

Artificial Intelligence Applications, 1991. Proceedings., Seventh IEEE Conference  , no. 1 (1991): 81-88

CADE-10 Proceedings of the tenth international conference on Automated deduction, pp.684-684, (1990)

The logical basis for computer programming: vol. 2, deductive systems, no. 3 (1990): 288-291

Computational Intelligence, no. 1 (1987): 220-221

Sci. Comput. Program., no. 1 (1987): 37-83

AAAI, pp.155-160, (1987)

IJCAI, pp.222-224, (1985)

The logical basis for computer programming. Volume 1: deductive reasoning, (1985)

The Logical Basis for Computer Programming, (1985)

LISP and Functional Programming, pp.323-330, (1984)

Sci. Comput. Program., no. 1 (1981): 5-48