The following pages link to (Q5485333):
Displaying 5 items.
- Enumerating lambda terms by weighted length of their de Bruijn representation (Q1706116) (← links)
- Asymptotic Properties of Combinatory Logic (Q2948454) (← links)
- Intuitionistic vs. Classical Tautologies, Quantitative Comparison (Q3499752) (← links)
- Tautologies over implication with negative literals (Q3583801) (← links)
- Моменты весов случайных неравновероятных булевых функций (Q5152362) (← links)
