Wyniki wyszukiwania
Fundamenta Informaticae > 2019 > Vol. 167, nr 4 > 323--354
Formal Aspects of Computing > 2017 > 29 > 4 > 705-750
Theoretical Computer Science > 2016 > 629 > C > 116-134
Electronic Notes in Theoretical Computer Science > 2016 > 322 > C > 211-226
Lecture Notes in Computer Science > Intelligent Data Engineering and Automated Learning – IDEAL 2008 > Agents and Distributed Systems > 395-403
Lecture Notes in Computer Science > Theory and Applications of Models of Computation > Contributed Papers > 521-532
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Formal Methods II > 122-134
Annals of Mathematics and Artificial Intelligence > 2014 > 71 > 1-3 > 251-278
Annals of Mathematics and Artificial Intelligence > 2014 > 71 > 1-3 > 131-174
Annals of Mathematics and Artificial Intelligence > 2014 > 71 > 1-3 > 11-39
Annals of Mathematics and Artificial Intelligence > 2014 > 71 > 1-3 > 175-250
Annals of Mathematics and Artificial Intelligence > 2014 > 71 > 1-3 > 41-83
Information Processing Letters > 2013 > 113 > 9 > 350-353