Inductive completion with retracts

zbMath0628.68038MaRDI QIDQ1093368

William P. R. Mitchell

Publication date: 1988

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

retractsF-algebrasinductive completion procedure

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items

A strong restriction of the inductive completion procedure