BibTeX-Export: 1 Datensatz f{\"u}r alle [global]

@techreport{TUW-263631,
    author = {Kuznets, Roman and Strassburger, Lutz},
    title = {Maehara-style Modal Nested Calculi},
    institution = {E191 - Institute of Computer Engineering; Vienna University of Technology},
    year = {2017},
    number = {RR-9123},
    url = {https://hal.inria.fr/hal-01644750v1}
}


1 Datensatz ausgegeben