Tableaux and Related Methods (2001)

by Reiner Hähnle
Citations:42 - 3 self

Documents Related by Co-Citation

419 First-order logic and automated theorem proving – Melvin Fitting - 1996
1082 A computing procedure for quantification theory – M DAVIS, H PUTNAM - 1960
571 1934-1935), “Untersuchungen Uber das logische Schliessen – Gerhard Gentzen
958 A machine-oriented logic based on the resolution principle – J A Robinson - 1965
3347 Self-Organizing Maps – T Kohonen - 1994
739 L.: Isabelle/HOL: a proof assistant for higher-order logic – T Nipkow, M Wenzel, Paulson - 2002
954 T.: Term rewriting and all that – F Baader, Nipkow - 1998
894 Symbolic Boolean manipulation with ordered binary-decision diagrams – Randal E Bryant - 1992
965 Negation as failure – K L Clark - 1978