by Hans-Peter Deifel,
Stefan Milius and Thorsten Wiß\/mann
Reference:
Hans-Peter Deifel, Stefan Milius and Thorsten Wiß\/mann: Coalgebra Encoding for Efficient Minimization, In Naoki Kobayashi, ed.: Proc. 6th International Conference on Formal Structures for Computation and Deduction (FSCD), lipics, vol. 195, pp. 28:1–28:19, dagstuhl, 2021.
Bibtex Entry:
@InProceedings{dmw21,
author = {Deifel, Hans-Peter and Milius, Stefan and Wi\ss\/mann, Thorsten},
title = {Coalgebra Encoding for Efficient Minimization},
OPTcrossref = {},
OPTkey = {},
booktitle = {Proc.~6th International Conference on Formal Structures for Computation and Deduction (FSCD)},
year = {2021},
editor = {Kobayashi, Naoki},
volume = {195},
OPTnumber = {},
series = lipics,
pages = {28:1--28:19},
OPTmonth = {},
OPTaddress = {},
OPTorganization = {},
publisher = dagstuhl,
OPTnote = {{T}o appear},
OPTannote = {}
}