1
Published 2010
Table of Contents: ... -- Session 12. Decision Procedures -- On Array Theory of Bounded Elements -- Quantifier Elimination by Lazy...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... -- An Explicit Formula for the Intersection of Two Polynomials of Regular Languages -- Two Dimensional Prefix...
View full text
Electronic eBook