Send mail to Author

Regular tree languages, cardinality predicates, and addition-invariant FO (Conference Proceeding)

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



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


Back to frontdoor view

OPUS4 Logo