scholarly journals A Polynomial Translation from the Two-Variable Guarded Fragment with Number Restrictions to the Guarded Fragment

2004 ◽  
pp. 372-384 ◽  
Author(s):  
Yevgeny Kazakov
Keyword(s):  
Guarded Fragment ◽  
Polynomial Translation

scholarly journals Equivalence closure in the two-variable guarded fragment

2015 ◽  
pp. exv075 ◽  
Author(s):  
Emanuel Kieroński ◽  
Ian Pratt-Hartmann ◽  
Lidia Tendera
Keyword(s):  
Guarded Fragment
Sign in / Sign up

Export Citation Format

Share Document