PDL for ordered trees

Authors	L. Afanasiev P. Blackburn I. Dimitriou B. Gaiffe Show more E. Goris M.J. Marx M. de Rijke Show less
Publication date	2004
Journal	Journal of Applied Non-Classical Logics
Volume | Issue number	2 | 15
Pages (from-to)	115-135
Organisations	Faculty of Science (FNWI) - Informatics Institute (IVI) Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Document type	Article
Permalink to this page