scientific article

From MaRDI portal

Publication:3081652

Jump to:navigation, search

zbMath1244.03161MaRDI QIDQ3081652

Stanley S. Wainer

Publication date: 9 March 2011

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

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Complexity of proofs (03F20)

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3081652&oldid=16136146"