Managing Proof Documents for Asynchronous Processing (Q5166497): 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.1016/j.entcs.2008.12.097
+Normal rank
@@ Property / OpenAlex ID @@
+W2127073439
@@ Property / OpenAlex ID: W2127073439 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729065
@@ Property / cites work: Q2729065 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors
+Normal rank
@@ Property / cites work @@
+Q4335814
@@ Property / cites work: Q4335814 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3122691
@@ Property / cites work: Q3122691 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4809051
@@ Property / cites work: Q4809051 / rank @@
+Normal rank
@@ Property / cites work @@
+PlatΩ: A Mediator between Text-Editors and Proof Assistance Systems
+Normal rank