scientific article; zbMATH DE number 4158596

MaRDI QIDQ3486542zbMATH OpenFDO

Authors Herman Ruge Jervell

Publication date 1987

zbMATH Keywords

infinite branchresoning in trees

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Infinite trees, markings, and well-foundedness
• scientific article; zbMATH DE number 3938533
• Trees, ordinals and termination
• scientific article; zbMATH DE number 3858432
• Trees and semantics

Cited in

(10)

• Infinite trees, markings, and well-foundedness
• Rational tree relations
• Trees and semantics
• scientific article; zbMATH DE number 3858432 (Why is no real title available?)
• Deciding validity in a spatial logic for trees
• scientific article; zbMATH DE number 5136283 (Why is no real title available?)
• Reasoning with Preference Trees over Combinatorial Domains
• scientific article; zbMATH DE number 3938533 (Why is no real title available?)
• Trees, ordinals and termination
• Leaf management

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