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