Browsing by Author Bry, Francois


Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 2 to 4 of 4 < previous 
Issue DateTitleAuthor(s)
2000Positive Unit Hyper-Resolution Tableaux for Minimal Model GenerationYahya, Adnan; Bry, Francois
Jul-2000Positive unit hyperresolution tableaux and their application to minimal model generationBry, Francois; Yahya, Adnan
Jun-1998Satchmo: minimal model generation and compilation (system description)Yahya, Adnan; Bruggemann, Thomas; Eisinger , Norbert; Panne, Sven; Torge, Sunna; Bry, Francois; Geisler, Tim; Schutz, Heribert
Showing results 2 to 4 of 4 < previous