Special issue: Selected papers based on the presentations at the 12th international conference on relational and algebraic methods in computer science, RAMiCS 2011, Rotterdam, The Netherlands, May 30 -- June 3, 2011
zbMATH Open1295.68037MaRDI QIDQ444691
No author found.
Publication date: 16 August 2012
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Symbolic computation and algebraic computation (68W30) Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Applications of universal algebra in computer science (08A70) Algebraic theory of languages and automata (68Q70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
This page was built for publication: Special issue: Selected papers based on the presentations at the 12th international conference on relational and algebraic methods in computer science, RAMiCS 2011, Rotterdam, The Netherlands, May 30 -- June 3, 2011
