Login / Signup
The model-theoretic structure of abelian group rings.
Peter Pappas
Published in:
Ann. Pure Appl. Log. (1985)
Keyphrases
</>
model theoretic
proof theoretic
expert systems
databases
dynamic environments
deductive databases
fixpoint