A Generalization of ACP Using Belnap's Logic (Q5262974): Difference between revisions

@@ Property / cites work @@
+Q3858244
@@ Property / cites work: Q3858244 / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional logic with 4 values: true, false, divergent and meaningless
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene's three-valued logic and process algebra
@@ Property / cites work: Kleene's three-valued logic and process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra with four-valued logic
@@ Property / cites work: Process algebra with four-valued logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296301
@@ Property / cites work: Q4296301 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997074
@@ Property / cites work: Q3997074 / rank @@
+Normal rank
@@ Property / cites work @@
+On notation for ordinal numbers
@@ Property / cites work: On notation for ordinal numbers / rank @@
+Normal rank
@@ Property / cites work @@
+Q5601829
@@ Property / cites work: Q5601829 / rank @@
+Normal rank
@@ Property / cites work @@
+A Generalization of ACP Using Belnap's Logic
@@ Property / cites work: A Generalization of ACP Using Belnap's Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4847024
@@ Property / cites work: Q4847024 / rank @@
+Normal rank