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

@@ aliases / en / 0 / aliases / en / 0 @@
+Weighted Automata and Logics for Infinite Nested Words
@@ description / en / description / en @@
-scientific article
+scientific article; zbMATH DE number 6275871
@@ Property / DOI @@
-.1016/j.ic.2016.06.010
@@ Property / DOI: 10.1016/j.ic.2016.06.010 / rank @@
-Normal rank
@@ 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 / DOI @@
+.1016/J.IC.2016.06.010
@@ Property / DOI: 10.1016/J.IC.2016.06.010 / 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 / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+D05
@@ Property / Mathematics Subject Classification ID: 03D05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6695654
@@ Property / zbMATH DE Number: 6695654 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6275871
@@ Property / zbMATH DE Number: 6275871 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+nested words
@@ Property / zbMATH Keywords: nested words / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+weighted automata
@@ Property / zbMATH Keywords: weighted automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+weighted logics
@@ Property / zbMATH Keywords: weighted logics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+quantitative automata
@@ Property / zbMATH Keywords: quantitative automata / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+valuation monoids
@@ Property / zbMATH Keywords: valuation monoids / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2419671704
@@ Property / OpenAlex ID: W2419671704 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3106185641
@@ Property / OpenAlex ID: W3106185641 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07031
@@ Property / arXiv ID: 1506.07031 / 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
@@ links / mardi / name / links / mardi / name @@
+Publication:515684

Latest revision as of 01:30, 28 December 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