Functions with local state: regularity and undecidability (Q557802): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2004.12.036
@@ Property / DOI: 10.1016/j.tcs.2004.12.036 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B25
@@ Property / Mathematics Subject Classification ID: 03B25 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+2184043
@@ Property / zbMATH DE Number: 2184043 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Game semantics
@@ Property / zbMATH Keywords: Game semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Automata
@@ Property / zbMATH Keywords: Automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Software verification
@@ Property / zbMATH Keywords: Software verification / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Model checking
@@ Property / zbMATH Keywords: Model checking / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2011823280
@@ Property / OpenAlex ID: W2011823280 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4823132
@@ Property / cites work: Q4823132 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q4218919
@@ Property / cites work: Q4218919 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263830
@@ Property / cites work: Q4263830 / rank @@
+Normal rank
@@ Property / cites work @@
+Visibly pushdown languages
@@ Property / cites work: Visibly pushdown languages / rank @@
+Normal rank
@@ Property / cites work @@
+Regular-Language Semantics for a Call-by-Value Programming Language
+Normal rank
@@ Property / cites work @@
+Q2754137
@@ Property / cites work: Q2754137 / rank @@
+Normal rank
@@ Property / cites work @@
+The regular-language semantics of second-order idealized ALGOL
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Game theoretic analysis of call-by-value computation
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3202991
@@ Property / cites work: Q3202991 / rank @@
+Normal rank
@@ Property / cites work @@
+About the undecidability of program equivalence in finitary languages with state
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Q2704328
@@ Property / cites work: Q2704328 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Reductions of the General Combinatorial Decision Problem
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2004.12.036
@@ Property / DOI: 10.1016/J.TCS.2004.12.036 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:557802