scientific article; zbMATH DE number 1533831

zbMATH Open0953.68066MaRDI QIDQ4517045FDOQ4517045

Authors: Igor S. Anureev 

Publication date: 20 November 2000

Title of this publication is not available (Why is that?)

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)