Publikation
Lutz Schröder; Dirk Pattinson
In: Luke Ong (Hrsg.). Proceedings of the 13th International Conference on Foundations of Software Science and Computation Structures. International Conference on Foundations of Software Science and Computation Structures (FoSSaCS-2010), 13th, located at ETAPS 2010, March 20-28, Paphos, Cyprus, Pages 328-342, Lecture Notes in Computer Science, Vol. 6014, Springer, Berlin, 3/2010.
@inproceedings{pub4816, author = { Schröder, Lutz and Pattinson, Dirk }, editor = { Ong, Luke }, title = {Coalgebraic correspondence theory}, booktitle = {Proceedings of the 13th International Conference on Foundations of Software Science and Computation Structures. International Conference on Foundations of Software Science and Computation Structures (FoSSaCS-2010), 13th, befindet sich ETAPS 2010, March 20-28, Paphos, Cyprus}, series = {Lecture Notes in Computer Science}, year = {2010}, month = {3}, volume = {6014}, pages = {328--342}, publisher = {Springer} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023