DMCA

Rijke. PDL for ordered trees (2005)

by Loredana Afanasiev , Patrick Blackburn , Ioanna Dimitriou , Gaiffe Evan , Goris Maarten , Marx Maarten
Venue:Journal of Applied Non-Classical Logics
Citations:27 - 0 self