[Zurück]


Zeitschriftenartikel:
A. Ciabattoni, F. Genco:
"Hypersequents and Systems of Rules: Embeddings and Applications.";
ACM Transactions on Computational Logic, 19 (2018), 2; S. 1 - 27.

"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1145/3180075
Elektronische Version der Publikation:
https://publik.tuwien.ac.at/files/publik_269718.pdf

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.