Theorem prover approach to semistructured data design (Q609020): Difference between revisions

@@ Property / cites work @@
+Q4445643
@@ Property / cites work: Q4445643 / rank @@
+Normal rank
@@ Property / cites work @@
+A first step towardsmodeling semistructured data in hybrid multimodal logic
+Normal rank
@@ Property / cites work @@
+Representing and reasoning on XML documents: a description logic approach
+Normal rank
@@ Property / cites work @@
+Q4441490
@@ Property / cites work: Q4441490 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473500
@@ Property / cites work: Q4473500 / rank @@
+Normal rank
@@ Property / cites work @@
+A Brief Overview of PVS
@@ Property / cites work: A Brief Overview of PVS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4530805
@@ Property / cites work: Q4530805 / rank @@
+Normal rank
@@ Property / cites work @@
+A formal object approach to the design of ZML
@@ Property / cites work: A formal object approach to the design of ZML / rank @@
+Normal rank
@@ Property / cites work @@
+Q4680808
@@ Property / cites work: Q4680808 / rank @@
+Normal rank