[Zurück]


Zeitschriftenartikel:
A. Ciabattoni, F. Genco, R. Ramanayake:
"Substructural logics: semantics, proof theory, and applications. Report on the second SYSMICS workshop";
ACM SIGLOG News, 5 (2018), 2; S. 58 - 60.

Kurzfassung deutsch:
http://doi.acm.org/10.1145/3212019.3212027

"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/3212019.3212027

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.