Kleene's three-valued logic and process algebra (Q293327): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B50
@@ Property / Mathematics Subject Classification ID: 03B50 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q55
@@ Property / Mathematics Subject Classification ID: 68Q55 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6590733
@@ Property / zbMATH DE Number: 6590733 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+process algebra
@@ Property / zbMATH Keywords: process algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+three-valued logic
@@ Property / zbMATH Keywords: three-valued logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+guarded command
@@ Property / zbMATH Keywords: guarded command / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+design of algorithms
@@ Property / zbMATH Keywords: design of algorithms / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+concurrency
@@ Property / zbMATH Keywords: concurrency / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal languages
@@ Property / zbMATH Keywords: formal languages / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:293327