Programming, Logic and Intelligent Systems

Research output

Research output per year 2004 2006 2009 2011 2012 2013 2014 2015 2020 2022

• 164 Article in proceedings
• 84 Journal article
• 32 Anthology
• 29 Book chapter
• 111 More
  • 29 Conference article
  • 23 Paper
  • 11 Ph.D. thesis
  • 8 Editorial
  • 7 Report
  • 6 Encyclopedia chapter
  • 6 Conference abstract for conference
  • 4 Net publication - Internet publication
  • 3 Compendium/lecture notes
  • 2 Preface/postscript
  • 2 Poster
  • 2 Preprint
  • 2 Working paper
  • 1 Book
  • 1 Doctoral thesis
  • 1 Conference abstract in proceedings
  • 1 Contribution to newspaper - Newspaper article
  • 1 Literature review
  • 1 Review

Research output per year

Research output per year

Search results

• 2011

  Hybrid Logic and its Proof-Theory

  Braüner, T., 2011, Springer Science+Business Media. 231 p. (Applied Logic Series, Vol. 37).

  Research output: Book/Report › Book › Research › peer-review