Coalgebra Encoding for Efficient Minimization (bibtex)

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 = 	 {}
}