scientific article; zbMATH DE number 4059363

MaRDI QIDQ3794155zbMATH OpenFDO

Authors S. S. Goncharov

Publication date 1986

zbMATH Keywords

categoricitydata type specificationtheory of lists over models of a decidable theory

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic in computer science (03B70) Categoricity and completeness of theories (03C35) Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 4055021
• On decidability of list structures
• Automatic structures and the theory of lists
• scientific article; zbMATH DE number 7401616
• Refined definitions for finitary and infinitary similarity relations of theories. I: Signature reduction procedures and constructions shortly, and fast definitions for finitary and infinitary lists

Cited in

(6)

• Recursive terms in semantic programming
• scientific article; zbMATH DE number 4055021 (Why is no real title available?)
• scientific article; zbMATH DE number 1405440 (Why is no real title available?)
• A representation for linear lists with movable fingers
• On the theory of bags and lists
• Quantifier-free induction for lists

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