SO(∀∃*) Sentences and Their Asymptotic Probabilities
Rosen, Eric; Tyszkiewicz, Jerzy
Weinheim : Wiley-VCH (2000)
Journal Article
In: Mathematical logic quarterly : MLQ
Volume: 46
Issue: 4
Page(s)/Article-Nr.: 435-452
Identifier
- DOI: 10.1002/1521-3870(200010)46:4<435::AID-MALQ435>3.0.CO;2-E
- RWTH PUBLICATIONS: RWTH-CONV-078594