Automatic verification of sequential infinite-state processes
Automatic verification of sequential infinite-state processes
The isomorphism problem for ω-automatic trees
CSL'10/EACSL'10 Proceedings of the 24th international conference/19th annual conference on Computer science logic
Isomorphism of regular trees and words
ICALP'11 Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II
Isomorphism of regular trees and words
Information and Computation
Hi-index | 0.00 |