BLLDB - Title Entry - Tiede, Hans-Joerg: Monadic second-order logic and transitive closure logics over trees

Guest (Restricted Access)

Selected titles: 0

Export:
Text | Dublin Core | RIS

Journal article

Bibliographic description

Author		Tiede, Hans-Joerg; Kepser, Stephan
Title		Monadic second-order logic and transitive closure logics over trees

Written in		English
Source		Research on language and computation. - London : King's College
Volume		7
Year		2009
Issue		1
Page		41-54

Classification
Domains / Mathematical linguistics / Algebraic linguistics

Domains / Linguistic logic / Predicate logic

Domains / Linguistic logic / Transitivity (logic)


Redirected from
Algebraic linguistics ; First-order logic; Second-order logic; Monadische Logik; Monadic logic; Dependence logic; Predicate logic ; Transitivity (logic)