Effective interpolation and preservation in guarded logics
Main Authors: | Benedikt, M, Cate, B, Boom, M |
---|---|
Format: | Conference item |
Published: |
ACM
2014
|
Similar Items
-
Effective interpolation and preservation in guarded logics
by: Benedikt, M, et al.
Published: (2015) -
Definability and interpolation within decidable fixpoint logics
by: Benedikt, M, et al.
Published: (2019) -
Definability and Interpolation within Decidable Fixpoint Logics
by: Michael Benedikt, et al.
Published: (2019-09-01) -
Some model theory of Guarded Negation
by: Barany, V, et al.
Published: (2018) -
On the use of guards for logics with data
by: Colcombet, T, et al.
Published: (2011)