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: Paper
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 Aug 1 23:22:38 2021 CEST.