Please use this identifier to cite or link to this item: http://hdl.handle.net/20.500.11889/2792
Title: Positive Unit Hyper-Resolution Tableaux for Minimal Model Generation
Authors: Yahya, Adnan
Bry, Francois
Issue Date: 2000
Publisher: Springer
URI: http://hdl.handle.net/20.500.11889/2792
Appears in Collections:Fulltext Publications

Files in This Item:
File Description SizeFormat 
188.pdf335.66 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.