scientific article

zbMATH Open0669.68030MaRDI QIDQ3823139

Doina Tatar

Publication date: 1988

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

zbMATH Keywords

program transformationterm rewriting systemscompletion algorithm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Logic in computer science (03B70) General topics in the theory of software (68N01)

Related Items (9)

Program composition via unification ⋮ Title not available (Why is that?) ⋮ Guided unfoldings for finding loops in standard term rewriting ⋮ Title not available (Why is that?) ⋮ Theory and practice of unparsed patterns for metacompilation ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Unifying Recursion in Partial, Total and General Correctness ⋮ Restricted combinatory unification

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 Q3823139)