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 proceedingConference contribution

Original languageEnglish
Title of host publicationLogic Across the University: Foundations and Application
Subtitle of host publicationProceedings of the Tsinghua Logic Conference
EditorsJohan van Benthem, Fenrong Liu
Place of PublicationLondon
PublisherCollege Publications London
Number of pages8
Publication statusPublished - 2013

Publication series

NameStudies in Logic

ID: 23836593