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.
Ophelders, W.M.J. ; de Swart, Harrie. / Comparing Tableaux with Resolution. Computing Science in the Netherlands: proceedings. editor / J.L.G. Dietz. Stichting Mathematisch Centrum, 1992. pp. 215-233
@inproceedings{30e498b3f8354041848bd3ca1da3e14d,
title = "Comparing Tableaux with Resolution",
author = "W.M.J. Ophelders and {de Swart}, Harrie",
year = "1992",
language = "English",
pages = "215--233",
editor = "J.L.G. Dietz",
booktitle = "Computing Science in the Netherlands",
publisher = "Stichting Mathematisch Centrum",

}

Ophelders, WMJ & de Swart, H 1992, Comparing Tableaux with Resolution. in JLG Dietz (ed.), Computing Science in the Netherlands: proceedings. Stichting Mathematisch Centrum, pp. 215-233.

Comparing Tableaux with Resolution. / Ophelders, W.M.J.; de Swart, Harrie.

Computing Science in the Netherlands: proceedings. ed. / J.L.G. Dietz. Stichting Mathematisch Centrum, 1992. p. 215-233.

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

TY - GEN

T1 - Comparing Tableaux with Resolution

AU - Ophelders, W.M.J.

AU - de Swart, Harrie

PY - 1992

Y1 - 1992

M3 - Conference contribution

SP - 215

EP - 233

BT - Computing Science in the Netherlands

A2 - Dietz, J.L.G.

PB - Stichting Mathematisch Centrum

ER -

Ophelders WMJ, de Swart H. Comparing Tableaux with Resolution. In Dietz JLG, editor, Computing Science in the Netherlands: proceedings. Stichting Mathematisch Centrum. 1992. p. 215-233