MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Proof System." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5,070 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Optimal Proof Systems  
  • by Imply Complete Sets, Johannes K Obler, Jochen Messner, Jacobo Tor An, Abt Theoretische
  • …Optimal proof systems imply complete sets for promise classes 1 Johannes K obler y , Jochen…
  • Add To MetaCart
  • Gröbner Proof System  
  • by To The, Ajay Goyal, Ajay Goyal, Deepak Sharma, Deepak Sharma — 2001
  • …Grobner Proof System A Report Submitted in Partial Fulllment of the Requirements for the Degree…
  • Add To MetaCart
  • Resolution Proof Systems with Weak  
  • by Transformat Ion Rules
  • …Resolution Proof Systems with Weak Transformat ion Rules Abstract In the previous papers [7-101 we…
  • Add To MetaCart
  • A Ruby Proof System  
  • by Ole Rasmussen — 1996
  • …A Ruby Proof System Ole Rasmussen January 11, Contents 1 Introduction 1 2 The Ruby Language 4 3…
  • Cited by 4 (2 self) – Add To MetaCart
  • A taxonomy of proof systems  
  • by Oded Goldreich — 1997 — Basic Research in Computer Science, Center of the Danish National Research Foundation
  • …BRICS Basic Research in Computer Science Probabilistic Proof Systems Oded Goldreich BRICS Report…
  • Cited by 12 (2 self) – Add To MetaCart
  • LABELLED PROOF SYSTEMS FOR INTUITIONISTIC  
  • by Dov M. Gabbay, Luca Viganò, David Basin, Dov M. Gabbay, Seán Matthews
  • …, we propose new labelled proof systems to analyse the intuitionistic provability in classical…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB