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

Revision as of 13: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

Statements

instance of

scholarly article

0 references

title

Weighted automata and logics for infinite nested words (English)

0 references

Weighted Automata and Logics for Infinite Nested Words (English)

0 references

0 references

0 references

Information and Computation

0 references

Language and Automata Theory and Applications

0 references

publication date

16 March 2017

0 references

31 March 2014

0 references

full work available at URL

https://arxiv.org/abs/1506.07031

0 references

zbMATH Keywords

nested words

0 references

weighted automata

0 references

weighted logics

0 references

quantitative automata

0 references

valuation monoids

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

First-Order and Temporal Logics for Nested Words

0 references

Adding nesting structure to words

0 references

Q3994777

0 references

Weighted versus Probabilistic Logics

0 references

Weak Second‐Order Arithmetic and Finite Automata

0 references

Quantitative Languages

0 references

Tree acceptors and some of their applications

0 references

Weighted automata and logics for infinite nested words

0 references

Weighted automata and weighted logics

0 references

Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics

0 references

Handbook of weighted automata

0 references

Weighted automata and weighted MSO logics for average and long-time behaviors

0 references

Weighted Nested Word Automata and Logics over Strong Bimonoids

0 references

Weighted Automata and Weighted Logics on Infinite Words

0 references

Weighted tree automata and weighted logics

0 references

Weighted logics for unranked tree automata

0 references

Weighted automata and multi-valued logics over arbitrary bounded lattices

0 references

Q4079524

0 references

Decision Problems of Finite Automata Design and Related Arithmetics

0 references

Q3704880

0 references

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science

0 references

Weighted Logics for Nested Words and Algebraic Formal Power Series

0 references

Decidability of Second-Order Theories and Automata on Infinite Trees

0 references

Q4155837

0 references

On the definition of a family of automata

0 references

Generalized finite automata theory with an application to a decision problem of second-order logic

0 references

Q5723184

0 references

Identifiers

zbMATH Open document ID

1364.68249

0 references

1364.68248

0 references

DOI

10.1016/j.ic.2016.06.010

0 references

10.1007/978-3-319-04921-2_26

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:515684

@@ 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