Вы здесь

Главная

формальная система

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

Deontic Logic in Computer Science: Proc./9th International Conference, DEON 2008. Luxembourg, Luxembourg, July 2008
Descriptional Complexity of Formal Systems: Proc./17th International Workshop, DCFS 2015, Waterloo,ON,Canada, June 2015
Descriptional Complexity of Formal Systems: Proc./18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 2016
Formal Techniques for Distributed Systems: Proc./Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 2010
Frontiers of Combining Systems: Proc./6th International Symposium, FroCoS 2007. Liverpool, UK, September 2007