30 citations · 132 across the 31 of their papers we have counts for
1 paper · 1 filter
Alan J. Cain, Nik Ruškuc
Automatic presentations, also called FA-presentations, were introduced to extend finite model theory to infinite structures whilst retaining the solubility of fundamental decision…