NP Reasoning in the Monotone mu-Calculus

Hausmann D, Schröder L (2020)

Publication Language: English

Publication Type: Conference contribution, Conference Contribution

Publication year: 2020

Publisher: Springer

Conference Proceedings Title: Proc. International Joint Conference on Automated Reasoning, IJCAR 2020

DOI: 10.1007/978-3-030-51074-9_28

Authors with CRIS profile

Daniel Hausmann Lehrstuhl für Informatik 8 (Theoretische Informatik) Lutz Schröder Lehrstuhl für Informatik 8 (Theoretische Informatik)

How to cite

APA:

Hausmann, D., & Schröder, L. (2020). NP Reasoning in the Monotone mu-Calculus. In Viorica Sofronie-Stokkermans and Nicolas Pelletier (Eds.), Proc. International Joint Conference on Automated Reasoning, IJCAR 2020. Springer.

MLA:

Hausmann, Daniel, and Lutz Schröder. "NP Reasoning in the Monotone mu-Calculus." Proceedings of the International Joint Conference on Automated Reasoning, IJCAR 2020 Ed. Viorica Sofronie-Stokkermans and Nicolas Pelletier, Springer, 2020.

BibTeX: Download