Efficient Rule-Matching for Hyper-Tableaux Bjarne Holen Department of Informatics, University of Oslo, Norway Dag Hovland Department of Informatics, University of Oslo, Norway - Bjarne - Document - PDFSEARCH.IO

First Page	Meta Content
	Efficient Rule-Matching for Hyper-Tableaux Bjarne Holen Department of Informatics, University of Oslo, Norway Dag Hovland Department of Informatics, University of Oslo, Norway Add to Reading List Document Date: 2012-03-06 04:53:20 Open Document File Size: 365,27 KB Share Result on Facebook

Efficient Rule-Matching for Hyper-Tableaux Bjarne Holen Department of Informatics, University of Oslo, Norway Dag Hovland Department of Informatics, University of Oslo, NorwayAdd to Reading List