RPTU University Library

Send mail to Author

Ramsey Quantifiers in First-Order Logic: Complexity and Applications to Verification (Doctoral Thesis)

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



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


Back to frontdoor view