ML and Extended Branching VASS (Q2988645): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2595608646
@@ Property / OpenAlex ID: W2595608646 / rank @@
+Normal rank
@@ Property / cites work @@
+Full abstraction for PCF
@@ Property / cites work: Full abstraction for PCF / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218919
@@ Property / cites work: Q4218919 / rank @@
+Normal rank
@@ Property / cites work @@
+Visibly pushdown languages
@@ Property / cites work: Visibly pushdown languages / rank @@
+Normal rank
@@ Property / cites work @@
+Some decision problems related to the reachability problem for Petri nets
+Normal rank
@@ Property / cites work @@
+On Notions of Regularity for Data Languages
@@ Property / cites work: On Notions of Regularity for Data Languages / rank @@
+Normal rank
@@ Property / cites work @@
+On notions of regularity for data languages
@@ Property / cites work: On notions of regularity for data languages / rank @@
+Normal rank
@@ Property / cites work @@
+Fragments of ML Decidable by Nested Data Class Memory Automata
+Normal rank
@@ Property / cites work @@
+Weak and Nested Class Memory Automata
@@ Property / cites work: Weak and Nested Class Memory Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Game-theoretic analysis of call-by-value computation
+Normal rank
@@ Property / cites work @@
+A Fragment of ML Decidable by Visibly Pushdown Automata
+Normal rank
@@ Property / cites work @@
+On full abstraction for PCF: I, II and III
@@ Property / cites work: On full abstraction for PCF: I, II and III / rank @@
+Normal rank
@@ Property / cites work @@
+FO2(&lt;,+1,~) on data trees, data tree automata and branching vector addition systems
+Normal rank
@@ Property / cites work @@
+Contextual Approximation and Higher-Order Procedures
+Normal rank
@@ Property / cites work @@
+Nonelementary Complexities for Branching VASS, MELL, and Extensions
+Normal rank
@@ Property / cites work @@
+Functions with local state: regularity and undecidability
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Game Semantic Analysis of Equivalence in IMJ
@@ Property / cites work: Game Semantic Analysis of Equivalence in IMJ / rank @@
+Normal rank
@@ Property / cites work @@
+Full Abstraction for Reduced ML
@@ Property / cites work: Full Abstraction for Reduced ML / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Nominal Game Semantics
@@ Property / cites work: Algorithmic Nominal Game Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic Games for Full Ground References
@@ Property / cites work: Algorithmic Games for Full Ground References / rank @@
+Normal rank
@@ Property / cites work @@
+Q2704328
@@ Property / cites work: Q2704328 / rank @@
+Normal rank