scientific article; zbMATH DE number 790274

MaRDI QIDQ4846469zbMATH OpenFDO

Authors Richard Lassaigne, Michel de Rougemont

Publication date 27 August 1995

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Combinatory logic and lambda calculus (03B40) Recursive functions and relations, subrecursive hierarchies (03D20) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01)

Cited in

(1)

• A first step towards implementing dynamic algebraic dependences

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