| Title: |
Efficient Coalgebraic Partition Refinement |
| Article URLs: |
|
| Alternative Article URLs: |
https://arxiv.org/abs/1806.05654 |
| Authors: |
Ulrich Dorsch |
-
Friedrich-Alexander-Universität Erlangen-Nürnberg
|
| Stefan Milius |
-
Friedrich-Alexander-Universität Erlangen-Nürnberg
|
| Lutz Schröder |
-
Friedrich-Alexander-Universität Erlangen-Nürnberg
|
| Thorsten Wißmann |
-
Friedrich-Alexander-Universität Erlangen-Nürnberg
|
| Sharing: |
Research produced no artifacts
|
| Verification: |
Authors have
verified
information
|
| Artifact Evaluation Badge: |
none
|
| Artifact URLs: |
|
| Artifact Correspondence Email Addresses: |
|
| NSF Award Numbers: |
|
| DBLP Key: |
conf/concur/DorschMSW17
|
| Author Comments: |
All proofs can be found in the journal version. |