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 Sat Oct 16 02:19:30 2021 CEST.