scientific article; zbMATH DE number 6683507

MaRDI QIDQ2959882zbMATH OpenFDO

Authors Jakub Kozik

Publication date 10 February 2017

Full work available at URL http://www.dmtcs.org/dmtcs-ojs/index.php/proceedings/article/view/dmAI0129

zbMATH Keywords

and/or-treesprobability distribution for Boolean functionstree enumeration

Mathematics Subject Classification ID

Data structures (68P05) Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• scientific article; zbMATH DE number 1950751
• On Tree Substitution Grammars
• A Language of Patterns for Subterm Selection
• scientific article; zbMATH DE number 54244
• scientific article; zbMATH DE number 17561
• scientific article; zbMATH DE number 3945364
• Trees and languages with periodic signature
• Trees and languages with periodic signature
• scientific article; zbMATH DE number 794243
• Tree algebras and varieties of tree languages

Cited in

(7)

• Associative and commutative tree representations for Boolean functions
• A Language of Patterns for Subterm Selection
• Asymptotic properties of combinatory logic
• Tautologies over implication with negative literals
• In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid
• 2-Xor revisited: satisfiability and probabilities of functions
• Generalised and quotient models for random and/or~trees and application to satisfiability

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