Cut-Simulation in Impredicate Logics (bibtex)
by Christoph Benzmüller, Chad Brown, Michael Kohlhase
Reference:
Cut-Simulation in Impredicate Logics (Christoph Benzmüller, Chad Brown, Michael Kohlhase), In Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Ulrich Furbach, Natarajan Shankar, eds.), Springer, LNCS, volume 4130, pp. 220-234, 2006. (slides) (Url (preprint): http://christoph-benzmueller.de/papers/C23.pdf)
Bibtex Entry:
@inproceedings{C23,
  Author =	 {Christoph Benzm{\"u}ller and Chad Brown and Michael
                  Kohlhase},
  Booktitle =	 {Automated Reasoning, Third International Joint
                  Conference, IJCAR 2006, Seattle, WA, USA, August
                  17-20, 2006, Proceedings},
  Comment =	 {<a
                  href="http://christoph-benzmueller.de//papers/2006-IJCAR.pdf">slides</a>},
  Doi =		 {10.1007/11814771_20},
  Editor =	 {Ulrich Furbach and Natarajan Shankar},
  Keywords =	 {own, Higher Order Logic, Henkin Semantics,
                  Cut-Elimination},
  Pages =	 {220-234},
  Publisher =	 {Springer},
  Series =	 {LNCS},
  Title =	 {Cut-Simulation in Impredicate Logics},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/C23.pdf}},
  Volume =	 4130,
  Year =	 2006,
}
Powered by bibtexbrowser