MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Adding Equality to Semantic Tableaux." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 6 documents found, showing 1 through 6.
ATOM RSS
  • Adding Equality to Semantic Tableaux  
  • by Bernhard Beckert — 1994 — Proceedings, 3rd Workshop on Theorem Proving with Analytic
  • …Adding Equality to Semantic Tableaux Bernhard Beckert University of Karlsruhe Institute for Logic…
  • Cited by 7 (1 self) – Add To MetaCart
  • Equality Elimination for the Tableau Method  
  • by Anatoli Degtyarev, Andrei Voronkov — 1996 — in J. Calmet & C. Limongelli, eds, `Design and Implementation of Symbolic Computation Systems. International Symposium, DISCO'96
  • … methods of adding equality to semantic tableaux, equality elimination does not use simultaneous rigid E…
  • Cited by 9 (4 self) – Add To MetaCart
  • Using Mixed Universal and Rigid  
  • by Unification To Handle, Bernhard Beckert
  • … for adding equality to semantic tableaux. Section 3 gives a short introductioninto universal formula tableaux…
  • Add To MetaCart
Help! Showing 1 through 6.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB