RPTU University Library

Send mail to Author

Decidable Fragments and Solver Techniques for String and Sequence Constraints (Doctoral Thesis)

Please indicate your contact information and select, which author you want to contact.



 
 _    _      ___     _    _    __   __    ____      ______  
| |  | ||   / _ \\  | || | ||  \ \\/ //  |  _ \\   /_   _// 
| |/\| ||  / //\ \\ | || | ||   \ ` //   | |_| ||   -| ||-  
|  /\  || |  ___  ||| \\_/ ||    | ||    | .  //    _| ||_  
|_// \_|| |_||  |_|| \____//     |_||    |_|\_\\   /_____// 
`-`   `-` `-`   `-`   `---`      `-`'    `-` --`   `-----`
 


Back to frontdoor view