Textsatz: L ATEX 2ε & XEmacs unter Linux (2008)
Mathematische Grundlagen, Der Informatik, Prof Dr. Grädel, Colin Hirsch, ...
Fakultät.
Informatik Und, Colin Hirsch, Aus Wien Österreich, ...
Tag der mündlichen Prüfung: 17.7.2002 Diese Dissertation ist auf den Internetseiten der Hochschule online verfügbar. Thank You
Back and Forth Between Guarded and Modal Logics (2007)
Erich Gr, Colin Hirsch, Martin Otto
Guarded xed point logic GF extends the guarded fragment by means of least and greatest xed points, and thus plays the same role within the domain of guarded logics as the modal -calculus plays within...
1 A Tableau Algorithm for the Clique Guarded Fragment (2007)
abstract. We describe a \modal style " tableau algorithm that decides satisability for the clique guarded fragment. As a corollary of constructions used to prove the correctness of the...
“The differences between theory and practice are greater in practice than in theory.” Security problems like sql code injection and cross-site scripting vulnerabilities can be traced to the,...
Guarded logics: algorithms and bisimulation / (2002)
Aachen, Techn. Hochsch., Diss., 2002 (Nicht für den Austausch).
Guarded Logics : Algorithms and Bisimulation (2002)
In vielen praktischen Anwendungen logik-basierter Methoden besteht die Notwendigkeit Ausdrucksstaerke und Berechenbarkeitskomplexitaet gegeneinander abzuwaegen. Sowohl das auffinden entscheidbarer...
Back and forth between guarded and modal logics (2000)
Guarded xed point logic GF extends the guarded fragment by means of least and greatest xed points, and thus plays the same role within the domain of guarded logics as the modal -calculus plays within...
Back and forth between guarded and modal logics (2000)
Erich Gradel, Colin Hirsch, Martin Otto
Guarded fixed point logic GF extends the guarded fragment by means of least and greatest fixed points, and thus plays the same role within the domain of guarded logics as the modal-calculus plays...
A Tableau Algorithm for the Clique Guarded Fragment (Extended Abstract) (2000)
Colin Hirsch, Stephan Tobies, Rwth Aachen, Rwth Aachen
Colin Hirsch Mathematische Grundlagen der Informatik RWTH Aachen hirsch@cs.rwth-aachen.de Stephan Tobies LuFG Theoretical Computer Science RWTH Aachen tobies@cs.rwth-aachen.de 1 Introduction The...
Back and Forth Between Guarded and Modal Logics (2000)
Erich Grädel, Colin Hirsch, Martin Otto
Guarded fixed point logic GF extends the guarded fragment by means of least and greatest fixed points, and thus plays the same role within the domain of guarded logics as the modal -calculus plays...
The Complexity of Query Reliability (1998)
Erich Gradel, Yuri Gurevich, Colin Hirsch
The reliability of database queries on databases with uncertain information is studied, on the basis of a probabilistic model for unreliable databases. While it was already known that the reliability...
The Complexity of Query Reliability (1998)
Erich Grädel, Yuri Gurevich, Colin Hirsch
The reliability of database queries on databases with uncertain information is studied, on the basis of a probabilistic model for unreliable databases. While it was already known that the reliability...
The Complexity of Query Reliability (1998)
Erich Gradel, Yuri Gurevich, Colin Hirsch
The reliability of database queries on databases with uncertain information is studied, on the basis of a probabilistic model for unreliable databases. While it was already known that the reliability...