Authors: Ondřej Smetana, Jane Doe
Published in: Journal of Formal Logic and Computation
DOI: 10.1000/182

Abstract

#

This paper investigates the computational bounds of set equivalences in formal verification frameworks…

Downloads & Resources

#

• ArXiv Preprint

BibTeX Citation

#

@article{smetana2025complexity,
  title={On the Complexity of Set Operations in Formal Models},
  author={Smetana, Ond{\v{r}}ej and Doe, Jane},
  journal={Journal of Formal Logic and Computation},
  year={2025}
}