Weighted Logics for Nested Words and Algebraic Formal Power Series.
Christian MathissenPublished in: ICALP (2) (2008)
Keyphrases
- mathematical theory
- power consumption
- keywords
- epistemic logic
- formal methods
- n gram
- modal logic
- expressive power
- hierarchical structure
- formal model
- weighted graph
- propositional calculus
- english words
- proof theory
- conditional logic
- decision procedures
- multiword
- word recognition
- inference rules
- first order logic
- higher order