Publication:4282591
From MaRDI portal
zbMath0793.68037MaRDI QIDQ4282591
Publication date: 17 March 1994
68P15: Database theory
03B25: Decidability of theories and sets of sentences
68N17: Logic programming
zbMath0793.68037MaRDI QIDQ4282591
Publication date: 17 March 1994
68P15: Database theory
03B25: Decidability of theories and sets of sentences
68N17: Logic programming