Login / Signup

Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2018, Fortaleza, Brazil, September 26-28, 2018

Published in: LSFA (2019)
Keyphrases