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