Sound and complete axiomatizations of coalgebraic language equivalence (bibtex)

by Marcello M. Bonsangue, Stefan Milius and Alexandra Silva

Reference:

Marcello M. Bonsangue, Stefan Milius and Alexandra Silva: Sound and complete axiomatizations of coalgebraic language equivalence, In ACM Trans. Comput. Log., 14(1:7), 2013.

Bibtex Entry:

@Article{bms13,
  author = 	 {Marcello M.~Bonsangue and Stefan Milius and Alexandra Silva},
  title = 	 {Sound and complete axiomatizations of coalgebraic language equivalence},
  journal = 	 {ACM Trans.~Comput.~Log.},
  year = 	 {2013},
  OPTkey = 	 {},
  volume = 	 {14},
  number = 	 {1:7},
  OPTpages = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}