Publikation
Mihai Codescu; Daniel Găină
In: Logica Universalis, Vol. 2, No. 2, Pages 277-309, Birkhäuser Basel, 2008.
@article{pub4458, author = { Codescu, Mihai and Găină, Daniel }, title = {Birkhoff Completeness in Institutions}, year = {2008}, volume = {2}, number = {2}, pages = {277--309}, journal = {Logica Universalis}, publisher = {Birkhäuser Basel} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023