Вы здесь

Главная

логика переписывания

Связанные издания:

Formal Aspects of Component Software: Proc./14th International Conference, FACS 2017, Braga, Portugal, October 2017
Recent Trends in Algebraic Development Techniques: Revised Selected Papers/21st International Workshop, WART 2012, Salamanca. Spain, June 2013
Rewriting Logic and Its Applications: Revised Selected Papers/10th International Workshop, WRLA 2014 Held as Satellite Event of ETAPS, Grenoble, France, April 2014
Rewriting Logic and Its Applications: Revised Selected Papers/11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2016