Proving Random Formulas in Propositional Logic

Iddo Tzameret; Sebastian Muller

Proving Random Formulas in Propositional Logic

Iddo Tzameret
, Sebastian Muller

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Logic Across the University: Foundations and Application
Subtitle of host publication	Proceedings of the Tsinghua Logic Conference
Editors	Johan van Benthem, Fenrong Liu
Place of Publication	London
Publisher	College Publications London
Pages	201-208
Number of pages	8
Volume	47
Publication status	Published - 2013

Publication series

Name	Studies in Logic

Cite this

@inproceedings{458650b187464febb07515926f0a6c78,

title = "Proving Random Formulas in Propositional Logic",

author = "Iddo Tzameret and Sebastian Muller",

year = "2013",

language = "English",

volume = "47",

series = "Studies in Logic",

publisher = "College Publications London",

pages = "201--208",

editor = "\{van Benthem\}, Johan and Fenrong Liu",

booktitle = "Logic Across the University: Foundations and Application",

}

Proving Random Formulas in Propositional Logic. / Tzameret, Iddo; Muller, Sebastian.
Logic Across the University: Foundations and Application: Proceedings of the Tsinghua Logic Conference. ed. / Johan van Benthem; Fenrong Liu. Vol. 47 London: College Publications London, 2013. p. 201-208 (Studies in Logic).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution