Keep it fair: Equivalence and composition
Published in J. Log. Algebraic Methods Program., 2019
Stephan Mennicke
Research Associate at ICCL, Knowledge-Based Systems Group
- Dresden, Germany
- TU Dresden
- ResearchGate
- Github
- Google Scholar
- ORCID
Published in J. Log. Algebraic Methods Program., 2019