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