The power of Tarski's relation algebra on trees Journal Articles

Overview
Research
Identity
Additional Document Info
View All

authors

Hellings, Jelle
Wu, Yuqing
Gyssens, Marc
Van Gucht, Dirk

status

published

publication date

April 2022

published in

Journal of Logical and Algebraic Methods in Programming Journal