scientific article; zbMATH DE number 3784878

zbMATH Open0498.03048MaRDI QIDQ3962996FDOQ3962996

Authors: Erwin Engeler 

Publication date: 1981

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

zbMATH Keywords

complexityhalting problemstrict finitismexistence problem

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Algorithms in computer science (68W99)

Cited In (3)

• Query languages for hierarchic databases
• Strict finitism and feasibility
• On V.A. Yankov’s Contribution to the History of Foundations of Mathematics

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