Monadic second-order logic over pictures and recognizability by tiling systems

1994 ◽  
pp. 365-375 ◽  
Author(s):  
Dora Giammarresi ◽  
Sebastian Seibert ◽  
Antonio Restivo ◽  
Wolfgang Thomas
Keyword(s):  
Second Order ◽  
Order Logic ◽  
Tiling Systems ◽  
Second Order Logic ◽  
Monadic Second Order Logic

scholarly journals Monadic Second-Order Logic over Rectangular Pictures and Recognizability by Tiling Systems

1996 ◽  
Vol 125 (1) ◽  
pp. 32-45 ◽  
Author(s):  
Dora Giammarresi ◽  
Antonio Restivo ◽  
Sebastian Seibert ◽  
Wolfgang Thomas
Keyword(s):  
Second Order ◽  
Order Logic ◽  
Tiling Systems ◽  
Second Order Logic ◽  
Monadic Second Order Logic

Monadic second-order logic on finite sequences

2017 ◽  
Vol 52 (1) ◽  
pp. 232-245
Author(s):  
Loris D'Antoni ◽  
Margus Veanes
Keyword(s):  
Second Order ◽  
Order Logic ◽  
Finite Sequences ◽  
Second Order Logic ◽  
Monadic Second Order Logic

Existential monadic second order logic on random rooted trees

2019 ◽  
Vol 342 (1) ◽  
pp. 152-167
Author(s):  
Alexander E. Holroyd ◽  
Avi Levy ◽  
Moumanti Podder ◽  
Joel Spencer
Keyword(s):  
Second Order ◽  
Order Logic ◽  
Rooted Trees ◽  
Second Order Logic ◽  
Monadic Second Order Logic
Sign in / Sign up

Export Citation Format

Share Document