ScienceGate Book Chapters
Search
About Us
Search
About Us
BOOK-CHAPTER
Weighted Automata and Weighted Logics
Manfred Droste
Paul Gastin
Year:
2005
Lecture notes in computer science
Pages:
513-525
Publisher:
Springer Science+Business Media
DOI:
10.1007/11523468_42
Get Full-Text PDF
Get Analytical Report
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 Droste
Paul Gastin
Journal:
Theoretical Computer Science
Year:
2007
Vol:
380 (1-2)
Pages:
69-86
BOOK-CHAPTER
Weighted Automata and Weighted Logics
Manfred Droste
Paul Gastin
Monographs in theoretical computer science
Year:
2009
Pages:
175-211
JOURNAL ARTICLE
Weighted tree automata and weighted logics
Manfred Droste
Heiko 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