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