Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors (Q5505520): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-85110-3_34
+Normal rank
@@ Property / OpenAlex ID @@
+W1488706998
@@ Property / OpenAlex ID: W1488706998 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Knowledge Management
@@ Property / cites work: Mathematical Knowledge Management / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesizing Proof Planning Methods and Ω-Ants Agents from Mathematical Knowledge
+Normal rank
@@ Property / cites work @@
+Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems
+Normal rank
@@ Property / cites work @@
+A Formal Correspondence Between OMDoc with Alternative Proofs and the ${\overline{\lambda}\mu\tilde{\mu}}$ -Calculus
+Normal rank
@@ Property / cites work @@
+Q2764077
@@ Property / cites work: Q2764077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428312
@@ Property / cites work: Q4428312 / rank @@
+Normal rank
@@ Property / cites work @@
+The Layers of Logiweb
@@ Property / cites work: The Layers of Logiweb / rank @@
+Normal rank
@@ Property / cites work @@
+Spurious Disambiguation Error Detection
@@ Property / cites work: Spurious Disambiguation Error Detection / rank @@
+Normal rank