Programmering, logik og intelligente systemer

Publikationer

Publikationer pr. år 2004 2006 2007 2008 2009 2011 2017 2018 2020 2021 2023 2024 2024

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

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2021

  Hybrid logic with propositional quantiers: Natural deduction style (Work in progress)

  Braüner, T., Blackburn, P. R. & Kofod, J. L., 2021, Non-Classical Modal and Predicate Logic: Book of abstracts. Bochum: Ruhr University Bochum, s. 29-32

  Publikation: Bidrag til bog/antologi/rapport › Konferenceabstrakt i proceedings › Forskning › peer review

  Åben adgang

  Fil