Logical and Semantic Frameworks with Applications

Vivek Nigam und René Thiemann

Theor. Comput. Sci., 781:1–2

2019 · DOI: 10.1016/j.tcs.2019.05.023

Url: https://doi.org/10.1016/j.tcs.2019.05.023

URL DOI BibTeX Zurück