Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"Tableau Algorithms"”.
-
Semi-primary lattices and tableau algorithms
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Mathematics, 1995.
-
To and Fro Between Tableaus and Automata for Description Logics
… Erfuellbarkeitsproblem von DL-Ausdruecken sind Tableau- und Automaten-basierte Algorithmen. Diese haben aufgrund ihrer unterschiedlichen Arbeitsweise komplementaere Eigenschaften: Tableau-Algorithmen eignen sich fuer Implementierungen und fuer den Nachweis von PSPACE- und NEXPTIME-Resultaten, …