Beiträge in Tagungsbänden:
G. Reger, M. Suda:
"Local proofs and AVATAR";
in: "Proceedings of the 4th Vampire Workshop",
53;
L. Kovacs, A. Voronkov (Hrg.);
herausgegeben von: EasyChair;
EasyChair EPiC Series in Computing,
EasyChair,
2018,
9 S.
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.29007/qgdk
Elektronische Version der Publikation:
https://easychair.org/publications/paper/FBk9
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.