MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "A Metatheory of a Mechanized Object Theory." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • Towards Provably Correct System Synthesis And Extension  
  • by C. Talcott, Reasoning Theories Towards, A. Armando, F. Giunchiglia, F. Giunchiglia, P. Pecchiari, P. Pecchiari, R. Overbeek — 1996
  • …. Giunchiglia and P. Traverso. A Metatheory of a Mechanized Object Theory. Journal of Artificial Intelligence…
  • Add To MetaCart
  • Formalizing Complex Reasoning  
  • by P. Traverso, M. J. Gordon, R. Milner, L. Morris, F. Giunchiglia, P. Pecchiari, C. Talcott, Reasoning Theories, Towards Architecture — 1996
  • … of a Mechanized Object Theory. Artificial Intelligence, 80(2):197--241, 1996. Also IRST…
  • Add To MetaCart
  • Introspective Metatheoretic Reasoning  
  • by Fausto Giunchiglia, Fausto Giunchiglia, Alessandro Cimatti, Alessandro Cimatti — 1994 — In Proc. of META-94, Workshop on Metaprogramming in Logic
  • … metatheory of a mechanized object theory A B A E A(y) 8x:A(x) 8I 8x:A(x) A(t) 8E Fig. 3. Some inference…
  • Cited by 15 (6 self) – Add To MetaCart
  • [2] R.S. Boyer and J.S. Moore.  
  • by Computational Logic Handbook
  • …. Traverso. A Metatheory of a Mechanized Object Theory. Technical Report 9211-24, IRST, 1992. [GT94] F…
  • Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB