scientific article

zbMath1229.03036MaRDI QIDQ3108200

Pascal Manoury, Marianne Simonot

Publication date: 1 January 2012

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Related Items

Automatizing termination proofs of recursively defined functions