JOURNAL ARTICLE

A Nivat theorem for weighted picture automata and weighted MSO logics

Parvaneh BabariManfred Droste

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

Parvaneh BabariManfred Droste

Lecture notes in computer science Year: 2015 Pages: 703-715
JOURNAL ARTICLE

Weighted Picture Automata and Weighted Logics

Ina Fichtner

Journal:   Theory of Computing Systems Year: 2009 Vol: 48 (1)Pages: 48-78
BOOK-CHAPTER

Weighted Picture Automata and Weighted Logics

Ina Mäurer

Lecture notes in computer science Year: 2006 Pages: 313-324
JOURNAL ARTICLE

A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings

Gustav Grabolle

Journal:   Logical Methods in Computer Science Year: 2023 Vol: Volume 19, Issue 4
© 2026 ScienceGate Book Chapters — All rights reserved.