What’s Decidable about Sequences?

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-15643-4_11 ◽

2010 ◽

pp. 128-142 ◽

Author(s):

Carlo A. Furia

Download Full-text