Efficient Coalgebraic Partition Refinement

From MaRDI portal
Publication:5111646

DOI10.4230/LIPIcs.CONCUR.2017.32zbMath1442.68112arXiv1705.08362OpenAlexW2963074164MaRDI QIDQ5111646

Ulrich Dorsch, Stefan Milius, Lutz Schröder, Thorsten Wißmann

Publication date: 27 May 2020

Full work available at URL: https://arxiv.org/abs/1705.08362



Related Items



Cites Work