Partial logics reconsidered: A conservative approach (Q1261311): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A logic covering undefinedness in program proofs
@@ Property / cites work: A logic covering undefinedness in program proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342079
@@ Property / cites work: Q4342079 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3743300
@@ Property / cites work: Q3743300 / rank @@
+Normal rank
@@ Property / cites work @@
+A first order logic for partial functions
@@ Property / cites work: A first order logic for partial functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4151143
@@ Property / cites work: Q4151143 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak logic theory
@@ Property / cites work: Weak logic theory / rank @@
+Normal rank
@@ Property / cites work @@
+Partial-predicate logic in computer science
@@ Property / cites work: Partial-predicate logic in computer science / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3977997
@@ Property / cites work: Q3977997 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4124327
@@ Property / cites work: Q4124327 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank