Tableaux, Resolution and Complexity of Formulas

W.M.J. Ophelders, Harrie de Swart

Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

Original languageEnglish
Title of host publicationComputing Science in the Netherlands
Subtitle of host publicationproceedings
EditorsA.J. van Goor
PublisherStichting Mathematisch Centrum
Pages443-468
Publication statusPublished - 1990

Cite this

Ophelders, W. M. J., & de Swart, H. (1990). Tableaux, Resolution and Complexity of Formulas. In A. J. van Goor (Ed.), Computing Science in the Netherlands: proceedings (pp. 443-468). Stichting Mathematisch Centrum.