Techreport3053

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, ICCL, April 2024. Submission to Theory and Practice of Logic Programming

• Details
• Bibtex

• Forschungsgruppe:Research Group: Computational LogicComputational Logic

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