Skip to content

On the Expressive Power of Modal Logics on Trees.

Bernd-Holger Schlingloff

Year1992
ProceedingsLFCS

Browse the full LFCS paper archive.