Theoretical Aspects of Computing – ICTAC 2016 More Books Like This
Programming Languages and Systems
2018
Theoretical Aspects of Computing – ICTAC 2017
2017
Perspectives of System Informatics
2015
Theoretical Aspects of Computing - ICTAC 2015
2015
Programming Languages and Systems
2016
Logic for Programming, Artificial Intelligence, and Reasoning
2015
Programming Languages and Systems
2017
Rewriting Logic and Its Applications
2016
Functional and Logic Programming
2018
Logic-Based Program Synthesis and Transformation
2015
Logic-Based Program Synthesis and Transformation
2020
Semantics, Logics, and Calculi
2016
Verification, Model Checking, and Abstract Interpretation
2017
Algebraic Methodology and Software Technology
2011
Foundations of Software Science and Computation Structures
2016