Effective optimization with weighted automata on decomposable trees (Q5413875): Difference between revisions

@@ Property / author @@
-Elena V. Ravve
@@ Property / author: Elena V. Ravve / rank @@
-Normal rank
@@ Property / author @@
-V. Eh. Vol'kovich
@@ Property / author: V. Eh. Vol'kovich / rank @@
-Normal rank
@@ Property / author @@
-Gerhard-Wilhelm Weber
@@ Property / author: Gerhard-Wilhelm Weber / rank @@
-Normal rank
@@ Property / author @@
+Elena V. Ravve
@@ Property / author: Elena V. Ravve / rank @@
+Normal rank
@@ Property / author @@
+V. Eh. Vol'kovich
@@ Property / author: V. Eh. Vol'kovich / rank @@
+Normal rank
@@ Property / author @@
+Gerhard-Wilhelm Weber
@@ Property / author: Gerhard-Wilhelm Weber / rank @@
+Normal rank
@@ 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.1080/02331934.2013.865735
+Normal rank
@@ Property / OpenAlex ID @@
+W2018070528
@@ Property / OpenAlex ID: W2018070528 / rank @@
+Normal rank
@@ Property / cites work @@
+On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
+Normal rank
@@ Property / cites work @@
+Some aspects of studying an optimization or decision problem in different computational models
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+A Kleene theorem for weighted tree automata over distributive multioperator monoids
+Normal rank
@@ Property / cites work @@
+Weighted logics for unranked tree automata
@@ Property / cites work: Weighted logics for unranked tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+Incremental model checking for decomposable structures
+Normal rank
@@ Property / cites work @@
+The monadic theory of order
@@ Property / cites work: The monadic theory of order / rank @@
+Normal rank
@@ Property / cites work @@
+Modest theory of short chains. I
@@ Property / cites work: Modest theory of short chains. I / rank @@
+Normal rank
@@ Property / cites work @@
+On the Very Weak 0–1 Law for Random Graphs with Orders
+Normal rank
@@ Property / cites work @@
+Algorithmic uses of the Feferman-Vaught theorem
@@ Property / cites work: Algorithmic uses of the Feferman-Vaught theorem / 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 @@
+Weighted Picture Automata and Weighted Logics
@@ Property / cites work: Weighted Picture Automata and Weighted Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive families of graphs
@@ Property / cites work: Recursive families of graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Fusion in relational structures and the verification of monadic second-order properties
+Normal rank
@@ Property / cites work @@
+Linear Recurrence Relations for Graph Polynomials
@@ Property / cites work: Linear Recurrence Relations for Graph Polynomials / rank @@
+Normal rank
@@ Property / cites work @@
+Directed Unfolding of Petri Nets
@@ Property / cites work: Directed Unfolding of Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+On optimization, dynamics and uncertainty: A tutorial for gene-environment networks
+Normal rank
@@ Property / cites work @@
+A survey on OR and mathematical methods applied on gene-environment networks
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5413875