478 search results - page 5 / 96 » Monads of Regular Theories |
BIRTHDAY
2008
Springer
13 years 12 months ago
2008
Springer
Abstract. A formula ψ(Y ) is a selector for a formula ϕ(Y ) in a structure M if there exists a unique Y that satisfies ψ in M and this Y also satisfies ϕ. A formula ψ(X, Y )...
BIRTHDAY
1997
Springer
14 years 3 months ago
1997
Springer
FAC
2002
13 years 10 months ago
2002
MLQ
2011
13 years 5 months ago
2011
LATA
2009
Springer
14 years 5 months ago
2009
Springer
This tutorial will present an overview of the use of Monadic Second-Order Logic to describe sets of finite graphs and graph transformations, in relation with the notions of tree-w...