Decision problems of object histories

DOI10.1016/0890-5401(89)90060-6zbMath0689.68012OpenAlexW2093959484MaRDI QIDQ582039

Seymour Ginsburg, Yongkyun Cho

Publication date: 1989

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0890-5401(89)90060-6

zbMATH Keywords

decision problemscomputation-tuple sequence scheme

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Data structures (68P05) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Related Items (1)

Input-dependent-only object histories

Cites Work

• Object histories which avoid certain subsequences
• Order dependency in the relational model
• Projection of object histories
• Cohesion of object histories
• Localizable constraints for object histories
• Formal Systems for Tuple and Equality Generating Dependencies
• Computation-tuple sequences and object histories
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Decision problems of object histories