OXFORD UNIVERSITY COMPUTING LABORATORY

Reasoning under minimal upper bounds in propositional logic

Thomas Eiter and Georg Gottlob

info

journal

Theor. Comput. Sci.

number

1-3

pages

82-115

volume

369

year

2006

links

BibTeX

DOI (10.1016/j.tcs.2006.07.054)

related pages

people

Random Image
Random Image
Random Image