scientific article; zbMATH DE number 1533831

MaRDI QIDQ4517045zbMATH OpenFDO

Authors Igor S. Anureev

Publication date 20 November 2000

zbMATH Keywords

termination problemformula simplificationrewriting system

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic in computer science (03B70)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4517045)