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.

Paper

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 Fri Jul 19 05:01:15 2019 CEST.