Auflistung FB 07 - Mathematik und Informatik, Physik, Geographie nach Autor "Gurevich, Yuri"

Anzeige der Dokumente 1-1 von 1

    • Existential second-order logic over strings 

      Eiter, Thomas; Gottlob, Georg; Gurevich, Yuri (1997)
      Existential second­order logic (ESO) and monadic second­order logic (MSO) have attracted much interest in logic and computer science. ESO is a much more expressive logic over word structures than MSO. However, little was ...