ADDING PATH-FUNCTIONAL DEPENDENCIES TO THE GUARDED TWO-VARIABLE FRAGMENT WITH COUNTING (2017)

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

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://lmcs.episciences.org/4028

Type: Journal Article/Review

Volume: 13

Parent Publication: Logical Methods in Computer Science

Issue: 4