scientific article
From MaRDI portal
Publication:2959882
zbMath1355.68162MaRDI QIDQ2959882
Publication date: 10 February 2017
Full work available at URL: http://www.dmtcs.org/dmtcs-ojs/index.php/proceedings/article/view/dmAI0129
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Data structures (68P05) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)
Related Items (6)
Asymptotic Properties of Combinatory Logic ⋮ In the full propositional logic, 5/8 of classical tautologies are intuitionistically valid ⋮ Tautologies over implication with negative literals ⋮ 2-Xor revisited: satisfiability and probabilities of functions ⋮ Generalised and quotient models for random and/or~trees and application to satisfiability ⋮ Associative and commutative tree representations for Boolean functions
This page was built for publication:
