Language, Logic, and Computation Mehr ähnliche Bücher

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