Вы здесь

Главная

алгебра клини

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

Interactive Theorem Proving: Proc./First International Conference, ITP 2010, Edinburgh, UK, July 2010
Mathematics of Program Construction: Proc./10th International Conference, MPC 2010, Quebec City, Canada, June 2010
Relational and Algebraic Methods in Computer Science: Proc./13th International Conference, RAMiCS 2012, Cambridge, UK, September 2012
Relational and Algebraic Methods in Computer Science: Proc./15th International Conference, RAMiCS 2015, Braga, Portugal, September 2015
Relational and Algebraic Methods in Computer Science: Proc./19th International Conference, RAMiCS 2021, Marseille, France, November 2021
Relations and Kleene Algebra in Computer Sciece: Proc./10th Intl Conf on Relational Methods in CS & 5th Intl Conf on Applications of Kleene Algebra, RelMiCS/AKA 2008. Frauenwoerth, Germany, April 2008
Relations and Kleene Algebra in Computer Science: Proc./11th International Conference, RelMiCS 2009 and 6th International Conference, AKA 2009, Doha, Qatar, November 2009