Sciweavers

LICS
2007
IEEE

Two-way unary temporal logic over trees

14 years 6 months ago
Two-way unary temporal logic over trees
Mikolaj Bojanczyk
Added 04 Jun 2010
Updated 04 Jun 2010
Type Conference
Year 2007
Where LICS
Authors Mikolaj Bojanczyk
Comments (0)