Search results
Information Processing Letters > 2015 > 115 > 6-8 > 609-611
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 2 > 203-219
2017 Baltic Geodetic Congress (BGC Geomatics) > 252 - 256
Theory of Computing Systems > 2018 > 62 > 4 > 854-898
IEEE Transactions on Knowledge and Data Engineering > 2017 > 29 > 3 > 670 - 682
Journal of Algebra > 2016 > 465 > C > 287-321
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Contributed Papers > 187-199
Inżynieria Mineralna > 2016 > R. 17, nr 1 > 75--78
Theoretical Computer Science > 2015 > 605 > C > 62-79
Theory of Computing Systems > 2014 > 54 > 3 > 491-527
Computer Science Review > 2013 > 9 > Complete > 1-26
Journal of Automated Reasoning > 2013 > 51 > 4 > 371-400
Electronic Notes in Theoretical Computer Science > 2012 > 290 > Complete > 69-85