Equivalence closure in the two-variable guarded fragment (2017)

First Author: Kieronski E
Attributed to:  The Limits of Decidability: Counting, Transitivity, Equivalence funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://academic.oup.com/logcom/article/27/4/999/2917847

Type: Journal Article/Review

Volume: 27

Parent Publication: Journal of Logic and Computation

Issue: 4