scientific article; zbMATH DE number 1414296
From MaRDI portal
Publication:4942633
zbMATH Open0941.03543MaRDI QIDQ4942633
Publication date: 16 March 2000
Title of this publication is not available (Why is that?)
Database theory (68P15) Undecidability and degrees of sets of sentences (03D35) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Applications of computability and recursion theory (03D80) Theory of numerations, effectively presented structures (03D45)
Related Items (8)
A review on existence of various recurrent like structures ⋮ Alpha-structural recursion and induction ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Deriving structural hylomorphisms from recursive definitions ⋮ Theorem Proving in Higher Order Logics ⋮ CONCUR 2005 – Concurrency Theory ⋮ Title not available (Why is that?)
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 Q4942633)
