LTG Logic and Theory Group

University of Bern
  • Home
  • Contact
  • Staff
  • Publications
    • Journal Articles
    • Conference Papers
    • Habilitation Theses
    • PhD Theses
    • Master's Theses
    • Submitted
    • To appear
    • Technical Reports
  • Lectures
  • Research Projects
  • Student Projects
  • Links
Home

Publications

  • List
  • Filter
Export 3 results:
  • RTF
  • Tagged
  • XML
  • BibTex
Sort by: Author Title Type [ Year (Desc)]
Filters: Type is Habilitation Thesis  [Clear All Filters]
2010
Brünnler, K.  2010.  Nested Sequents.
  • RTF
  • Tagged
  • XML
  • BibTex
  • Google Scholar
Studer, T.  2010.  Proof-Theoretic Contributions to Modal Fixed Point Logics.
  • RTF
  • Tagged
  • XML
  • BibTex
  • Google Scholar
2001
Strahm, T.  2001.  Proof-theoretic contributions to explicit mathematics.
  • RTF
  • Tagged
  • XML
  • BibTex
  • Google Scholar

Upcoming events

  • End Spring Semester 2012(11 days)
  • Explicit Paradigms in Logic and Computer Science(14 days)
Add to iCalendar
more

Search