Comparing Tableaux with Resolution

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
EditorsJ.L.G. Dietz
PublisherStichting Mathematisch Centrum
Pages215-233
Publication statusPublished - 1992

Cite this

Ophelders, W. M. J., & de Swart, H. (1992). Comparing Tableaux with Resolution. In J. L. G. Dietz (Ed.), Computing Science in the Netherlands: proceedings (pp. 215-233). Stichting Mathematisch Centrum.