Efficient Rule-Matching for Hyper-Tableaux

dc.date.accessioned	2023-02-20T22:44:39Z
dc.date.available	2023-02-20T22:44:39Z
dc.date.created	2012-04-20T15:07:27Z
dc.date.issued	2012
dc.identifier.uri	http://hdl.handle.net/123456789/187
dc.language	EN
dc.title	Efficient Rule-Matching for Hyper-Tableaux
dc.type	Academic lecture
cristin.unitcode	185,15,5,0
cristin.unitname	Institutt for informatikk
cristin.ispublished	true
cristin.fulltext	postprint
dc.creator.author	Hovland, Dag
dc.creator.author	Holen, Bjarne
dc.creator.author	Giese, Martin
dc.identifier.cristin	920937
dc.type.document	Vit Foredrag