Sciweavers

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

81

LICS
2007
IEEE

80views Automated Reasoning» more LICS 2007»

Two-way unary temporal logic over trees

15 years 9 months ago

Two-way unary temporal logic over trees

Download www.mimuw.edu.pl

Mikolaj Bojanczyk

Real-time Traffic

Computer Science | LICS 2007 |

claim paper

Related Content

» Temporal Logics over Unranked Trees

» Quantitative temporal logics over the reals PSpace and below

» Combining Temporal Logics for Querying XML Documents

» Reasoning about XML with temporal logics and automata

» Monadic secondorder logic on treelike structures

» Temporal Logics over Transitive States

» Automata and Logics for Words and Trees over an Infinite Alphabet

» Wreath Products of Forest Algebras with Applications to Tree Logics

» Tree Extension Algebras Logics Automata and Query Languages

Post Info
More Details (n/a)

Added	04 Jun 2010
Updated	04 Jun 2010
Type	Conference
Year	2007
Where	LICS
Authors	Mikolaj Bojanczyk

Comments (0)