Tableaux, Resolution and Complexity of Formulas

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Professional

Original language	English
Title of host publication	Computing Science in the Netherlands
Subtitle of host publication	proceedings
Editors	A.J. van Goor
Publisher	Stichting Mathematisch Centrum
Pages	443-468
Publication status	Published - 1990

Cite this

@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",

}