Manuscripts

This page contains manuscripts, which are unpolished and may contain errors. Any comments will be appreciated.

Unranked tree algebra
with Igor Walukiewicz

Two-way unary temporal logic over trees