JOURNAL ARTICLE
A Nivat theorem for weighted picture automata and weighted MSO logics
Year: 2017 Journal: Journal of Computer and System Sciences Vol: 104 Pages: 41-57 Publisher: Elsevier BV
Keywords:
Mathematics Monoid Automaton Syntactic monoid Discrete mathematics Simple (philosophy) Computer science Free monoid Theoretical computer science
Metrics
4
Cited By
0.30
FWCI (Field Weighted Citation Impact)
43
Refs
0.52
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
semigroups and automata theory
Physical Sciences → Computer Science → Computational Theory and Mathematics
DNA and Biological Computing
Life Sciences → Biochemistry, Genetics and Molecular Biology → Molecular Biology
Machine Learning and Algorithms
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
BOOK-CHAPTER
A Nivat Theorem for Weighted Picture Automata and Weighted MSO Logic
Lecture notes in computer science Year: 2015 Pages: 703-715
JOURNAL ARTICLE
Weighted Picture Automata and Weighted Logics
Journal: Theory of Computing Systems Year: 2009 Vol: 48 (1)Pages: 48-78
BOOK-CHAPTER
Weighted Picture Automata and Weighted Logics
Lecture notes in computer science Year: 2006 Pages: 313-324
BOOK-CHAPTER
A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic
Manfred DrosteVitaly Perevoshchikov
Lecture notes in computer science Year: 2014 Pages: 171-182
JOURNAL ARTICLE
A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
Journal: Logical Methods in Computer Science Year: 2023 Vol: Volume 19, Issue 4