scientific article; zbMATH DE number 1163991

From MaRDI portal

Publication:4395618

Jump to:navigation, search

zbMath0905.03032MaRDI QIDQ4395618

Karl Stroetmann, Helmut Schwichtenberg

Publication date: 11 June 1998

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

zbMATH Keywords

formal specification computable functionals circuit description computability in higher types stream transformers higher-order term

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Applications of computability and recursion theory (03D80) Higher-type and set recursion theory (03D65)

This page was built for publication:

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