Towards a theory of recursive structures

MaRDI QIDQ4218093zbMATH OpenFDO

Authors David Harel

Publication date 23 October 2001

zbMATH Keywords

computational complexitydescriptive complexityfinitary NP optimization problemsrecursive data basesrecursive graphsrecursive structuresundecidabilityzero-one laws

Mathematics Subject Classification ID

Computable structure theory, computable model theory (03C57) Complexity of computation (including implicit computational complexity) (03D15) Database theory (68P15) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Descriptive complexity and finite models (68Q19)

Recommendations

• scientific article; zbMATH DE number 1414296
• Completeness results for recursive data bases
• Recursively indefinite databases
• Recursive queries and context-free graph grammars
• scientific article; zbMATH DE number 219217

Cited in

(16)

• Completeness results for recursive data bases
• Deriving structural hylomorphisms from recursive definitions
• Alpha-structural recursion and induction
• scientific article; zbMATH DE number 4049010 (Why is no real title available?)
• scientific article; zbMATH DE number 41858 (Why is no real title available?)
• Towards recursive model theory
• scientific article; zbMATH DE number 219217 (Why is no real title available?)
• scientific article; zbMATH DE number 749915 (Why is no real title available?)
• scientific article; zbMATH DE number 874495 (Why is no real title available?)
• scientific article; zbMATH DE number 1414296 (Why is no real title available?)
• Theorem Proving in Higher Order Logics
• CONCUR 2005 – Concurrency Theory
• A review on existence of various recurrent like structures
• A complete and recursive feature theory
• Recursive queries and context-free graph grammars
• An Ehrenfeucht-Fraïssé game approach to collapse results in database theory

This page was built for publication: Towards a theory of recursive structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4218093)