Existential Notation3 Logic

PublikationenPublications

• Nach AutorBy Author
  • Dörthe ArndtDörthe Arndt
• Nach ForschungsgruppeBy Research Group
  • Computational LogicComputational Logic

Toggle side column

Existential Notation3 Logic

Dörthe ArndtDörthe Arndt,  Stephan MennikeStephan Mennike

Dörthe Arndt, Stephan Mennike
Existential Notation3 Logic
Technical Report, Theory and Practice of Logic Programming, April 2024. Journal Submission

• Details
• Bibtex

• Forschungsgruppe:Research Group: Computational LogicComputational Logic

@techreport{AM2024,
  author      = {D{\"{o}}rthe Arndt and Stephan Mennike},
  title       = {Existential Notation3 Logic},
  institution = {Theory and Practice of Logic Programming},
  year        = {2024},
  month       = {April}
}