scientific article

zbMATH Open0639.68101MaRDI QIDQ3780492

N. Tareb, Yves Kodratoff

Publication date: 1987

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

zbMATH Keywords

PROLOGrewriting systemsspecificationtheorem proverrewrite rulesKnuth-Bendix completion algorithmrecursive programalgebraic abstract data types

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Related Items (1)

Synthesizing Imperative Code from Answer Set Programming Specifications

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