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