Rewriting Logic and Its Applications Plus de livres similaires

Theoretical Aspects of Computing – ICTAC 2016 Theoretical Aspects of Computing – ICTAC 2016
2016
Programming Languages and Systems Programming Languages and Systems
2016
Programming Languages and Systems Programming Languages and Systems
2017
Programming Languages and Systems Programming Languages and Systems
2018
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
2015
Programming Languages and Systems Programming Languages and Systems
2016
Perspectives of System Informatics Perspectives of System Informatics
2015
Theoretical Aspects of Computing – ICTAC 2017 Theoretical Aspects of Computing – ICTAC 2017
2017
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
2020
Rewriting Logic and Its Applications Rewriting Logic and Its Applications
2014
Programming Languages and Systems Programming Languages and Systems
2017
Logic for Programming, Artificial Intelligence, and Reasoning Logic for Programming, Artificial Intelligence, and Reasoning
2015
Theoretical Aspects of Computing - ICTAC 2015 Theoretical Aspects of Computing - ICTAC 2015
2015
Functional and Logic Programming Functional and Logic Programming
2018
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
2018