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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10472-006-9019-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2042470127
@@ Property / OpenAlex ID: W2042470127 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:862829