Auflistung IFIG Research Report nach Autor "Gottlob, Georg"

Anzeige der Dokumente 1-2 von 2

    • Enhancing symbolic model checking by AI techniques 

      Buccafurri, Francesco; Eiter, Thomas; Gottlob, Georg; Leone, Nicola (1997)
      Comparisons of different cellular devices and the investigation of their computing power can be made in terms of their capabilities to time­construct and time­compute functions. Time­construction means that a distinguished ...

    • 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 ...