Login / Signup
On the complexity of the two-variable guarded fragment with transitive guards.
Emanuel Kieronski
Published in:
Inf. Comput. (2006)
Keyphrases
</>
transitive closure
computational complexity
probability distribution