scientific article; zbMATH DE number 4147493

MaRDI QIDQ3477944zbMATH OpenFDO

Authors J.Šindelář

Publication date 1989

zbMATH Keywords

binary treepropositional calculusProbabilistic algorithm

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
• scientific article; zbMATH DE number 1765693
• Uniform random generation of expressions respecting algebraic identities
• scientific article; zbMATH DE number 3957069

Cited in

(4)

• A heuristic method for generating large random expressions
• scientific article; zbMATH DE number 1765693 (Why is no real title available?)
• scientific article; zbMATH DE number 3957069 (Why is no real title available?)
• 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)