Étude et implémentation d'un système de déduction pour logique algorithmique (Q3802671): Difference between revisions

@@ Property / describes a project that uses @@
+LCF
@@ Property / describes a project that uses: LCF / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2402972606
@@ Property / OpenAlex ID: W2402972606 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4174207
@@ Property / cites work: Q4174207 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4125720
@@ Property / cites work: Q4125720 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness Proofs for Some Logics of Programs
@@ Property / cites work: Completeness Proofs for Some Logics of Programs / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic definition for control structures
@@ Property / cites work: An algebraic definition for control structures / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic properties of structures
@@ Property / cites work: Algorithmic properties of structures / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883458
@@ Property / cites work: Q3883458 / rank @@
+Normal rank
@@ Property / cites work @@
+First-order dynamic logic
@@ Property / cites work: First-order dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Edinburgh LCF. A mechanized logic of computation
@@ Property / cites work: Edinburgh LCF. A mechanized logic of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3857731
@@ Property / cites work: Q3857731 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4130977
@@ Property / cites work: Q4130977 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4066560
@@ Property / cites work: Q4066560 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5596237
@@ Property / cites work: Q5596237 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883461
@@ Property / cites work: Q3883461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4168060
@@ Property / cites work: Q4168060 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4188700
@@ Property / cites work: Q4188700 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3802671