BOOK-CHAPTER

Weighted Automata and Weighted Logics

Manfred DrostePaul Gastin

Year: 2005 Lecture notes in computer science Pages: 513-525   Publisher: Springer Science+Business Media
Keywords:
Semiring Formal power series Commutative property Automaton Computer science Probabilistic logic Property (philosophy) Series (stratigraphy) Finite-state machine Power series Discrete mathematics Algorithm Mathematics Theoretical computer science Artificial intelligence

Metrics

56
Cited By
2.50
FWCI (Field Weighted Citation Impact)
42
Refs
0.90
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
Advanced Algebra and Logic
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence

Related Documents

JOURNAL ARTICLE

Weighted automata and weighted logics

Manfred DrostePaul Gastin

Journal:   Theoretical Computer Science Year: 2007 Vol: 380 (1-2)Pages: 69-86
BOOK-CHAPTER

Weighted Automata and Weighted Logics

Manfred DrostePaul Gastin

Monographs in theoretical computer science Year: 2009 Pages: 175-211
JOURNAL ARTICLE

Weighted tree automata and weighted logics

Manfred DrosteHeiko Vogler

Journal:   Theoretical Computer Science Year: 2006 Vol: 366 (3)Pages: 228-247
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
© 2026 ScienceGate Book Chapters — All rights reserved.