Send mail to Author

The succinctness of first-order logic on linear orders (Article)

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



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


Back to frontdoor view

OPUS4 Logo