Mechanizing logical relations (Q5890057): 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/3-540-58027-1_18
+Normal rank
@@ Property / OpenAlex ID @@
+W1531786782
@@ Property / OpenAlex ID: W1531786782 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5287527
@@ Property / cites work: Q5287527 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281476
@@ Property / cites work: Q4281476 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281477
@@ Property / cites work: Q4281477 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385534
@@ Property / cites work: Q4385534 / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Q3138547
@@ Property / cites work: Q3138547 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5890057