The Weak Completion Semantics and Counterexamples

PublikationenPublications

• Nach AutorBy Author
  • Meghna BhadraMeghna Bhadra
• Nach ForschungsgruppeBy Research Group
  • Computational LogicComputational Logic

Toggle side column

The Weak Completion Semantics and Counterexamples

Meghna BhadraMeghna Bhadra,  Steffen HölldoblerSteffen Hölldobler

Meghna Bhadra, Steffen Hölldobler
The Weak Completion Semantics and Counterexamples
Journal of Applied Logics - IfCoLog, 10(2):121--154, 2023

• Details
• Bibtex

• Forschungsgruppe:Research Group: Computational LogicComputational Logic

@article{bhadra2023weak,
  title={The Weak Completion Semantics and Counterexamples.},
  author={Bhadra, Meghna and H{\"o}lldobler, Steffen},
  journal={FLAP},
  volume={10},
  number={2},
  pages={121--154},
  year={2023}
}