``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q70
@@ Property / Mathematics Subject Classification ID: 68Q70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C20
@@ Property / Mathematics Subject Classification ID: 18C20 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q65
@@ Property / Mathematics Subject Classification ID: 68Q65 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6596342
@@ Property / zbMATH DE Number: 6596342 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Mealy automata
@@ Property / zbMATH Keywords: Mealy automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Kleisli category
@@ Property / zbMATH Keywords: Kleisli category / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+relation algebra
@@ Property / zbMATH Keywords: relation algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+linear algebra
@@ Property / zbMATH Keywords: linear algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+software calculi
@@ Property / zbMATH Keywords: software calculi / rank @@
+Normal rank

Revision as of 22:31, 27 June 2023