scientific article; zbMATH DE number 4147493

zbMATH Open0699.68045MaRDI QIDQ3477944FDOQ3477944

Authors: J.Šindelář 

Publication date: 1989

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

binary treepropositional calculusProbabilistic algorithm

Mathematics Subject Classification ID

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

Cited In (4)

• Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers
• Title not available (Why is that?)
• Title not available (Why is that?)
• A heuristic method for generating large random expressions

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)