MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Proof Theory in Computer Science" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 13 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • The Prospects For Mathematical Logic In The  
  • by Twenty-First Century Samuel, Samuel R. Buss, Alexander S. Kechris, Anand Pillay, Richard A — 2001 — Bulletin of Symbolic Logic
  • …, proof theory and logic for computer science, model theory, and set theory are discussed independently…
  • Add To MetaCart
  • On Herbrand Skeletons  
  • by Paul J. Voda, Ján Komara — 1995
  • …'s theorem plays an important role both in proof theory and in computer science. Given a Herbrand skeleton…
  • Cited by 12 (0 self) – Add To MetaCart
  • Gainesville, Florida, March 5--8, 1994  
  • by Theannual Meeting Of, Organizing Committee, Douglas Cenzer, Jean A. Larson (chair, William J, Greg Ray, Rick Smith
  • … invited hour talks; Special Sessions in Set Theory, and Proof Theory and Computer Science each consisting…
  • Add To MetaCart
  • Highlights in Proof Theory  
  • by Solomon Feferman — 2000 — in Proc. Summer School in Logic, Leeds 67
  • … important, both in proof theory and in applications of proof theory to computer science. Gentzen introduced…
  • Cited by 9 (3 self) – Add To MetaCart
  • unknown title  
  • by Natural Deduction
  • … the usage of the word "thread" in proof-theory and in computer science; thus our terminology should…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB