8 citations · 17 across the 11 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.LO2017★ 8 cited
Defining Recursive Predicates in Graph Orders
Ramanathan S. Thinniyam
We study the first order theory of structures over graphs i.e. structures of the form () where is the set of all (isomorphism types of) finite undirect…
cs.LO2017
Modulo quantifiers over functional vocabularies extending addition
A. Baskar, A. V. Sreejith, R. S. Thinniyam
We show that first order logic (FO) and first order logic extended with modulo counting quantifiers (FOMOD) over purely functional vocabularies which extend addition, satisfy the C…