Sciweavers
Explore
Publications
Books
Software
Tutorials
Presentations
Lectures Notes
Datasets
Labs
Conferences
Community
Upcoming
Conferences
Top Ranked Papers
Most Viewed Conferences
Conferences by Acronym
Conferences by Subject
Conferences by Year
Tools
PDF Tools
Image Tools
Text Tools
OCR Tools
Symbol and Emoji Tools
On-screen Keyboard
Latex Math Equation to Image
Smart IPA Phonetic Keyboard
Community
Sciweavers
About
Terms of Use
Privacy Policy
Cookies
Free Online Productivity Tools
i2Speak
i2Symbol
i2OCR
iTex2Img
iWeb2Print
iWeb2Shot
i2Type
iPdf2Split
iPdf2Merge
i2Bopomofo
i2Arabic
i2Style
i2Image
i2PDF
iLatex2Rtf
Sci2ools
108
Voted
CORR
2011
Springer
182
views
Education
»
more
CORR 2011
»
An automaton over data words that captures EMSO logic
14 years 9 months ago
Download
www.cmi.ac.in
Benedikt Bollig
Real-time Traffic
CORR 2011
|
Education
|
claim paper
Related Content
»
Automata vs Logics on Data Words
»
Model checking memoryful lineartime logics over onecounter automata
»
FirstOrder and Temporal Logics for Nested Words
»
Satisfiability of downward XPath with data equality tests
»
Tree Extension Algebras Logics Automata and Query Languages
»
A paraconsistent logic programming approach for querying inconsistent databases
more »
Post Info
More Details (n/a)
Added
13 May 2011
Updated
13 May 2011
Type
Journal
Year
2011
Where
CORR
Authors
Benedikt Bollig
Comments
(0)
Researcher Info
Education Study Group
Computer Vision