Cut-Simulation in Impredicative Logics (extended version) (bibtex)
by Christoph Benzmüller, Chad Brown, Michael Kohlhase
Reference:
Cut-Simulation in Impredicative Logics (extended version) (Christoph Benzmüller, Chad Brown, Michael Kohlhase), SEKI Publications (ISSN 1437-4447), number SR-2006-01, 2006. (Url (preprint): http://christoph-benzmueller.de/papers/R39.pdf)
Bibtex Entry:
@techreport{R39,
  Author =	 {Christoph Benzm{\"u}ller and Chad Brown and Michael
                  Kohlhase},
  Institution =	 {Saarland University, Saarbr{\"u}cken, Germany},
  Number =	 {SR-2006-01},
  Publisher =	 {SEKI Publications (ISSN 1437-4447)},
  Title =	 {Cut-Simulation in Impredicative Logics (extended
                  version)},
  Type =	 {SEKI Report},
  Note =	 {Url (preprint):
                  \url{http://christoph-benzmueller.de/papers/R39.pdf}},
  Year =	 2006,
}
Powered by bibtexbrowser