Language, Logic, and Computation Plus de livres similaires
Formal Grammar
2016
Automated Reasoning
2022
Logic, Language, and Computation
2017
Typed Lambda Calculi and Applications
2011
Logic, Language, Information, and Computation
2016
Logic, Language, Information, and Computation
2017
Foundations of Software Science and Computational Structures
2010
Logic, Language, Information, and Computation
2018
Dependence Logic
2016
Typed Lambda Calculi and Applications
2007
Formal Grammar
2019
Logic and Its Applications
2019
Logica Universalis
2005
Automated Reasoning
2020
PROOF AND COMPUTATION II
2021