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.
Ophelders, W.M.J. ; de Swart, Harrie. / Tableaux, Resolution and Complexity of Formulas. Computing Science in the Netherlands: proceedings. editor / A.J. van Goor. Stichting Mathematisch Centrum, 1990. pp. 443-468
@inproceedings{920834bdf90f4c2eb83b6787b33afba5,
title = "Tableaux, Resolution and Complexity of Formulas",
author = "W.M.J. Ophelders and {de Swart}, Harrie",
year = "1990",
language = "English",
pages = "443--468",
editor = "{van Goor}, A.J.",
booktitle = "Computing Science in the Netherlands",
publisher = "Stichting Mathematisch Centrum",

}

Ophelders, WMJ & de Swart, H 1990, Tableaux, Resolution and Complexity of Formulas. in AJ van Goor (ed.), Computing Science in the Netherlands: proceedings. Stichting Mathematisch Centrum, pp. 443-468.

Tableaux, Resolution and Complexity of Formulas. / Ophelders, W.M.J.; de Swart, Harrie.

Computing Science in the Netherlands: proceedings. ed. / A.J. van Goor. Stichting Mathematisch Centrum, 1990. p. 443-468.

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

TY - GEN

T1 - Tableaux, Resolution and Complexity of Formulas

AU - Ophelders, W.M.J.

AU - de Swart, Harrie

PY - 1990

Y1 - 1990

M3 - Conference contribution

SP - 443

EP - 468

BT - Computing Science in the Netherlands

A2 - van Goor, A.J.

PB - Stichting Mathematisch Centrum

ER -

Ophelders WMJ, de Swart H. Tableaux, Resolution and Complexity of Formulas. In van Goor AJ, editor, Computing Science in the Netherlands: proceedings. Stichting Mathematisch Centrum. 1990. p. 443-468