Programmering, logik og intelligente systemer

Publikationer

Publikationer pr. år 2004 2006 2009 2011 2012 2013 2014 2015 2018 2020 2023

• 174 Konferencebidrag i proceedings
• 90 Tidsskriftartikel
• 32 Antologi
• 30 Bidrag til bog/antologi
• 113 Mere
  • 29 Konferenceartikel
  • 23 Paper
  • 11 Ph.d.-afhandling
  • 9 Rapport
  • 8 Leder
  • 6 Encyclopædiartikel
  • 6 Konferenceabstrakt til konference
  • 4 Udgivelser på nettet - Net-publikation
  • 3 Kompendium/lecture notes
  • 2 Forord/efterskrift
  • 2 Poster
  • 2 Preprint
  • 2 Working paper
  • 1 Bog
  • 1 Doktordisputats
  • 1 Konferenceabstrakt i proceedings
  • 1 Bidrag til avis - Avisartikel
  • 1 Anmeldelse
  • 1 Review

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2011

  Hybrid Logic and its Proof-Theory

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

  Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning › peer review