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

• Download

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}
}