Вы здесь

Главная

анализ сложности

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

Algorithms and Complexity: Proc./9th International Conference, CIAC 2015, Paris, France, May 2015
Formal Modeling and Analysis of Timed Systems: Proc./10th International Conference, FORMATS 2012, London, UK, September 2012
Rewriting and Typed Lambda Calculi: Proc./Joint International Conference, RTA-TLCA 2014 Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 2014