Completeness Results for . . . (2006)

View PDF

Download Links

by Mark Kaminski

Active Bibliography

575 Model Theory – Wilfrid Hodges - 2000
578 Term Rewriting Systems – J. W. Klop - 1992
779 Inductive-Data-Type Systems – Frederic Blanqui, Jean-Pierre Jouannaud, Mitsuhiro Okada - 2002
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1096 Learning Stochastic Logic Programs – Stephen Muggleton - 2000
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
488 The mathematics of sentence structure – Joachim Lambek, Joachim Lambek
469 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
433 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989