Reasoning on temporal class diagrams: Undecidability results (Q862829): Difference between revisions

@@ Property / cites work @@
+A survey of temporal extensions of description logics
+Normal rank
@@ Property / cites work @@
+Q4708910
@@ Property / cites work: Q4708910 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning on UML class diagrams
@@ Property / cites work: Reasoning on UML class diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264772
@@ Property / cites work: Q4264772 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4400800
@@ Property / cites work: Q4400800 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4855372
@@ Property / cites work: Q4855372 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank