Weighted automata and logics for infinite nested words (Q515684): Difference between revisions

← Older edit

@@ aliases / en / 0 / aliases / en / 0 @@
+Weighted Automata and Logics for Infinite Nested Words
@@ description / en / description / en @@
+scientific article; zbMATH DE number 6275871
@@ Property / title @@
+Weighted Automata and Logics for Infinite Nested Words (English)
+Normal rank
@@ Property / zbMATH Open document ID @@
+.68248
@@ Property / zbMATH Open document ID: 1364.68248 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/978-3-319-04921-2_26
@@ Property / DOI: 10.1007/978-3-319-04921-2_26 / rank @@
+Normal rank
@@ Property / published in @@
+Language and Automata Theory and Applications
@@ Property / published in: Language and Automata Theory and Applications / rank @@
+Normal rank
@@ Property / publication date @@
+March 2014Timestamp +2014-03-31T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2014-03-31T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 31 March 2014 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6275871
@@ Property / zbMATH DE Number: 6275871 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3106185641
@@ Property / OpenAlex ID: W3106185641 / rank @@
+Normal rank
@@ Property / cites work @@
+First-Order and Temporal Logics for Nested Words
@@ Property / cites work: First-Order and Temporal Logics for Nested Words / rank @@
+Normal rank
@@ Property / cites work @@
+Adding nesting structure to words
@@ Property / cites work: Adding nesting structure to words / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994777
@@ Property / cites work: Q3994777 / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted versus Probabilistic Logics
@@ Property / cites work: Weighted versus Probabilistic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Second‐Order Arithmetic and Finite Automata
+Normal rank
@@ Property / cites work @@
+Quantitative Languages
@@ Property / cites work: Quantitative Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Tree acceptors and some of their applications
@@ Property / cites work: Tree acceptors and some of their applications / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted automata and logics for infinite nested words
+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 Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics
+Normal rank
@@ Property / cites work @@
+Handbook of weighted automata
@@ Property / cites work: Handbook of weighted automata / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted automata and weighted MSO logics for average and long-time behaviors
+Normal rank
@@ Property / cites work @@
+Weighted Nested Word Automata and Logics over Strong Bimonoids
+Normal rank
@@ Property / cites work @@
+Weighted Automata and Weighted Logics on Infinite Words
+Normal rank
@@ Property / cites work @@
+Weighted tree automata and weighted logics
@@ Property / cites work: Weighted tree automata and weighted logics / rank @@
+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 @@
+Weighted automata and multi-valued logics over arbitrary bounded lattices
+Normal rank
@@ Property / cites work @@
+Q4079524
@@ Property / cites work: Q4079524 / rank @@
+Normal rank
@@ Property / cites work @@
+Decision Problems of Finite Automata Design and Related Arithmetics
+Normal rank
@@ Property / cites work @@
+Q3704880
@@ Property / cites work: Q3704880 / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Weighted Logics for Nested Words and Algebraic Formal Power Series
+Normal rank
@@ Property / cites work @@
+Decidability of Second-Order Theories and Automata on Infinite Trees
+Normal rank
@@ Property / cites work @@
+Q4155837
@@ Property / cites work: Q4155837 / rank @@
+Normal rank
@@ Property / cites work @@
+On the definition of a family of automata
@@ Property / cites work: On the definition of a family of automata / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized finite automata theory with an application to a decision problem of second-order logic
+Normal rank
@@ Property / cites work @@
+Q5723184
@@ Property / cites work: Q5723184 / rank @@
+Normal rank

Latest revision as of 14:11, 13 July 2024

scientific article; zbMATH DE number 6275871

Weighted Automata and Logics for Infinite Nested Words

Language	Label	Description	Also known as
English	Weighted automata and logics for infinite nested words	scientific article; zbMATH DE number 6275871	Weighted Automata and Logics for Infinite Nested Words