Alexander Kurz
Logics Admitting Final Semantics
FoSSaCS, 2002.
@inproceedings{FoSSaCS-2002-Kurz, author = "Alexander Kurz", booktitle = "{Proceedings of the Fifth International Conference on Foundations of Software Science and Computation Structures}", doi = "10.1007/3-540-45931-6_17", isbn = "3-540-43366-X", pages = "238--249", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Logics Admitting Final Semantics}", volume = 2303, year = 2002, }