Parameterized Weighted Containment (Q2946752): 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.1145/2665076
@@ Property / full work available at URL: https://doi.org/10.1145/2665076 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1966557697
@@ Property / OpenAlex ID: W1966557697 / rank @@
+Normal rank
@@ Property / cites work @@
+What’s Decidable about Weighted Automata?
@@ Property / cites work: What’s Decidable about Weighted Automata? / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric real-time reasoning
@@ Property / cites work: Parametric real-time reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction
+Normal rank
@@ Property / cites work @@
+Q2754106
@@ Property / cites work: Q2754106 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Languages
@@ Property / cites work: Quantitative Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Expressiveness and Closure Properties for Quantitative Languages
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036556
@@ Property / cites work: Q4036556 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Languages Defined by Functional Automata
+Normal rank
@@ Property / cites work @@
+Complexity of automaton identification from given data
+Normal rank
@@ Property / cites work @@
+The ellipsoid method and its consequences in combinatorial optimization
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+On Linear Characterizations of Combinatorial Optimization Problems
+Normal rank
@@ Property / cites work @@
+Q3050157
@@ Property / cites work: Q3050157 / rank @@
+Normal rank
@@ Property / cites work @@
+THE EQUALITY PROBLEM FOR RATIONAL SERIES WITH MULTIPLICITIES IN THE TROPICAL SEMIRING IS UNDECIDABLE
+Normal rank
@@ Property / cites work @@
+Algorithm Theory - SWAT 2004
@@ Property / cites work: Algorithm Theory - SWAT 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about infinite computations
@@ Property / cites work: Reasoning about infinite computations / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2946752