Theorem proving in a mathematical information environment (Q1288657): Difference between revisions

@@ Property / describes a project that uses @@
+APS-1
@@ Property / describes a project that uses: APS-1 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+APS
@@ Property / describes a project that uses: APS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5672191
@@ Property / cites work: Q5672191 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewriting logic as a unified model of concurrency
+Normal rank
@@ Property / cites work @@
+Computations in APS
@@ Property / cites work: Computations in APS / rank @@
+Normal rank
@@ Property / cites work @@
+Truly concurrent constraint programming
@@ Property / cites work: Truly concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+Some problems in the theories of automata and artificial intelligence
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf02666993
+Normal rank
@@ Property / OpenAlex ID @@
+W2071216982
@@ Property / OpenAlex ID: W2071216982 / rank @@
+Normal rank