Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

20

DLT
2009

favoriteEmaildiscussreport

90views Theoretical Computer Science» more DLT 2009»

Weighted Timed MSO Logics

13 years 8 months ago

Weighted Timed MSO Logics

Download www.informatik.uni-leipzig.de

We aim to generalize B

Karin Quaas

Real-time Traffic

DLT 2009 | Logic | Theoretical Computer Science | Weighted Event-recording Automaton | Weighted Extension |

claim paper

Related Content

» Weighted versus Probabilistic Logics

» Weighted Picture Automata and Weighted Logics

» XML Transformation Language Based on Monadic Second Order Logic

» Weighted Automata and Weighted Logics

» Lower Bounds for the Complexity of Monadic SecondOrder Logic

» On Continuous Timed Automata with InputDetermined Guards

» XML transformation by treewalking transducers with invisible pebbles

» Monadic datalog over finite structures with bounded treewidth

» On the Parameterised Intractability of Monadic SecondOrder Logic

Post Info
More Details (n/a)

Added	17 Feb 2011
Updated	17 Feb 2011
Type	Journal
Year	2009
Where	DLT
Authors	Karin Quaas

Comments (0)