Proof systems for reasoning about computation errors (Q1015487): Difference between revisions

@@ Property / cites work @@
+Multi-valued Calculi for Logics Based on Non-determinism
+Normal rank
@@ Property / cites work @@
+Cut-free ordinary sequent calculi for logics having generalized finite-valued semantics
+Normal rank
@@ Property / cites work @@
+Q4539639
@@ Property / cites work: Q4539639 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-deterministic Multiple-valued Structures
@@ Property / cites work: Non-deterministic Multiple-valued Structures / 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 @@
+Q3977996
@@ Property / cites work: Q3977996 / 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 @@
+Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus
+Normal rank
@@ Property / cites work @@
+Q3086716
@@ Property / cites work: Q3086716 / rank @@
+Normal rank
@@ Property / cites work @@
+Note on Abstract Commutative Ideal Theory
@@ Property / cites work: Note on Abstract Commutative Ideal Theory / rank @@
+Normal rank