Model checking FO(R) over one-counter processes and beyond
CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
On the open problem of Ginsburg concerning semilinear sets and related problems
Theoretical Computer Science
Hi-index | 5.23 |