Belnap's logic and conditional composition (Q2464948): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2007.09.027
@@ Property / DOI: 10.1016/j.tcs.2007.09.027 / rank @@
-Normal rank
@@ 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.1016/j.tcs.2007.09.027
+Normal rank
@@ Property / OpenAlex ID @@
+W2140632128
@@ Property / OpenAlex ID: W2140632128 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297115
@@ Property / cites work: Q4297115 / rank @@
+Normal rank
@@ 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 @@
+Bochvar-McCarthy logic and process algebra
@@ Property / cites work: Bochvar-McCarthy logic and process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4503951
@@ Property / cites work: Q4503951 / 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 @@
+Process algebra and conditional composition
@@ Property / cites work: Process algebra and conditional composition / rank @@
+Normal rank
@@ Property / cites work @@
+Q5762080
@@ Property / cites work: Q5762080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296301
@@ Property / cites work: Q4296301 / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Laws of programming
@@ Property / cites work: Laws of programming / rank @@
+Normal rank
@@ Property / cites work @@
+Lattices With Involution
@@ Property / cites work: Lattices With Involution / 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 / DOI @@
+.1016/J.TCS.2007.09.027
@@ Property / DOI: 10.1016/J.TCS.2007.09.027 / rank @@
+Normal rank