Login / Signup
Completeness of a cut-free calculus with equality and function constants.
Mitio Takano
Published in:
Arch. Math. Log. (1985)
Keyphrases
</>
piecewise linear
database query languages
data mining
artificial intelligence