scientific article; zbMATH DE number 7700633

DOI10.4230/LIPICS.FSCD.2021.28arXiv2102.12842MaRDI QIDQ6159944FDOQ6159944

Authors: Hans-Peter Deifel, Stefan Milius, Thorsten Wißmann 

Publication date: 23 June 2023

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

Title of this publication is not available (Why is that?)

zbMATH Keywords

minimizationcoalgebratransition systemspartition refinement

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of computing (68Qxx) Computer science (68-XX)

Cited In (2)

• A Coalgebraic Perspective on Minimization and Determinization
• Distributed coalgebraic partition refinement

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6159944)