OXFORD UNIVERSITY COMPUTING LABORATORY

NP Trees and Carnap's Modal Logic

Georg Gottlob

info

journal

J. ACM

number

2

pages

421-457

volume

42

year

1995

links

BibTeX

DOI (10.1145/201019.201031)

related pages

people

Random Image
Random Image
Random Image