Logo Logo

Publications by Yahya, Adnan

Up a level
Export as [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date
Jump to: 2000
Number of items: 1.


Bry, François; Yahya, Adnan (2000): Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation. Journal of Automated Reasoning, 25 [PDF, 425kB]

This list was generated on Sun Sep 19 12:12:40 2021 CEST.