Why and How Does K Work? The Logical Infrastructure Behind It : Invited Talk at the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Article
Title:
Why and How Does K Work? The Logical Infrastructure Behind It : Invited Talk at the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
:
Invited Talk at the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
Contributor:
Rosu, Grigore
Published:
Open Publishing Association, 2018
Published in:
Electronic Proceedings in Theoretical Computer Science, 274 (2018)