Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. Effective Interpolation and Preservation in Guarded Logics

Effective Interpolation and Preservation in Guarded Logics

Michael Benedikt‚ Balder ten Cate and Michael Vanden Boom

Journal
ACM Trans. Comput. Log.
Number
2
Pages
8
Volume
17
Year
2016

Links

See Also

Back to Top