Weak Second‐Order Arithmetic and Finite Automata (Q3287248): Difference between revisions

@@ 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.1002/malq.19600060105
+Normal rank
@@ Property / OpenAlex ID @@
+W4205178514
@@ Property / OpenAlex ID: W4205178514 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+Normal rank
@@ Property / cites work @@
+On finite monoids having only trivial subgroups
@@ Property / cites work: On finite monoids having only trivial subgroups / rank @@
+Normal rank
@@ Property / cites work @@
+Q5641083
@@ Property / cites work: Q5641083 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted automata and weighted logics
@@ Property / cites work: Weighted automata and weighted logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141897
@@ Property / cites work: Q3141897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2706552
@@ Property / cites work: Q2706552 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata theory based on quantum logic. II.
@@ Property / cites work: Automata theory based on quantum logic. II. / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of computation based on quantum logic. I
@@ Property / cites work: A theory of computation based on quantum logic. I / rank @@
+Normal rank
@@ Property / cites work @@
+Automata theory based on quantum logic: reversibilities and pushdown automata
+Normal rank
@@ Property / cites work @@
+Notes on automata theory based on quantum logic
@@ Property / cites work: Notes on automata theory based on quantum logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4750696
@@ Property / cites work: Q4750696 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4306359
@@ Property / cites work: Q4306359 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541339
@@ Property / cites work: Q5541339 / rank @@
+Normal rank
@@ Property / cites work @@
+Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
+Normal rank
@@ Property / cites work @@
+Approximation and universality of fuzzy Turing machines
+Normal rank
@@ Property / cites work @@
+Automata theory and its applications
@@ Property / cites work: Automata theory and its applications / rank @@
+Normal rank