Using automata theory for characterizing the semantics of terminological cycles (Q1380409): Difference between revisions

@@ Property / cites work @@
+Q3664434
@@ Property / cites work: Q3664434 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012241
@@ Property / cites work: Q4012241 / rank @@
+Normal rank
@@ Property / cites work @@
+A refined architecture for terminological systems: Terminology = Schema + Views
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3743300
@@ Property / cites work: Q3743300 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-point extensions of first-order logic
@@ Property / cites work: Fixed-point extensions of first-order logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4773706
@@ Property / cites work: Q4773706 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Relational queries computable in polynomial time
@@ Property / cites work: Relational queries computable in polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed point theorems and semantics: A folk tale
@@ Property / cites work: Fixed point theorems and semantics: A folk tale / rank @@
+Normal rank
@@ Property / cites work @@
+Q5740435
@@ Property / cites work: Q5740435 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing and generating infinite sequences by a finite automaton
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+On recursive axioms in deductive databases
@@ Property / cites work: On recursive axioms in deductive databases / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning and revision in hybrid representation systems
+Normal rank
@@ Property / cites work @@
+Terminological reasoning is inherently intractable
+Normal rank
@@ Property / cites work @@
+On the complementation of Büchi automata
@@ Property / cites work: On the complementation of Büchi automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012244
@@ Property / cites work: Q4012244 / rank @@
+Normal rank
@@ Property / cites work @@
+The complementation problem for Büchi automata with applications to temporal logic
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/amai/Baader96
@@ Property / DBLP publication ID: journals/amai/Baader96 / rank @@
+Normal rank