scientific article; zbMATH DE number 4147493

MaRDI QIDQ3477944zbMATH OpenFDO

Authors J.Šindelář

Publication date 1989

zbMATH Keywords

binary treeProbabilistic algorithmpropositional calculus

Mathematics Subject Classification ID

Data structures (68P05) Algorithms in computer science (68W99)

Recommendations

• scientific article; zbMATH DE number 4210101
• An algorithm of classification of unranked propositional logic formulas
• A new system and methodology for generating random modal formulae
• Uniform random generation of expressions respecting algebraic identities
• scientific article; zbMATH DE number 3957069

Cited in

(5)

• A heuristic method for generating large random expressions
• scientific article; zbMATH DE number 4210101 (Why is no real title available?)
• scientific article; zbMATH DE number 3957069 (Why is no real title available?)
• A new system and methodology for generating random modal formulae
• Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers

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