Christoph+Dientzenhofer

 More results for "Christoph+..." in  VIDEOS DOCUMENTS AUDIOS GROUPS STAGES/PROFILES ALL

• 

• Unification in Extensions of Shallow Equational Theories 1998 9 citati...
• We show that unification in certain extensions of shallow equational theories is decidable. Our extensions generalize the known classes of shallow or standard equational theories. In order to prove de...
• Rating:        Views: (1005)     Pages: ()     Uploaded: 13-05-09
•  

• 

• Unification in Extensions of Shallow Equational Theories 1998 9 citati...
• We show that unification in certain extensions of shallow equational theories is decidable. Our extensions generalize the known classes of shallow or standard equational theories. In order to prove de...
• Rating:        Views: (1008)     Pages: ()     Uploaded: 13-05-09
•  

• 

• Unification in Extensions of Shallow Equational Theories 1998 9 citati...
• We show that unification in certain extensions of shallow equational theories is decidable. Our extensions generalize the known classes of shallow or standard equational theories. In order to prove de...
• Rating:        Views: (1007)     Pages: ()     Uploaded: 13-05-09
•  

• 

• Two Program Comprehension Tools for Automatic Parallelization A Compar...
• s and 1/TechReports/FullText Via WWW: URL http://www.informatik.uni-trier.de/Reports/List Via email: Send a mail to ftpmail@ftp.informatik.uni-trier.de, subject 'MAIL ME CLEAR', body 'TechReports.HowT...
• Rating:        Views: (1005)     Pages: ()     Uploaded: 13-05-09
•  

• 

• Scheduling Expression DAGs for Minimal Register Need 1996 3 citations ...
• s and 1/TechReports/FullText Via WWW: URL http://www.informatik.uni-trier.de/Reports/List Via email: Send a mail to ftpmail@ftp.informatik.uni-trier.de, subject 'MAIL ME CLEAR', body 'TechReports.HowT...
• Rating:        Views: (1011)     Pages: ()     Uploaded: 13-05-09
•  

• 

• fcc Fork95 Compiler Reference Manual 1999
• This report describes installation, use, and implementation principles of fcc. 1 Installing fcc
• Rating:        Views: (1007)     Pages: ()     Uploaded: 13-05-09
•  

• 

• Expression Templates for Partial Differential Equations 4 citations ? ...
• The implementation of numerical algorithms for solving partial dierential equations costs a lot of time and the optimization of such codes is dicult. These problems can be reduced by expression templa...
• Rating:        Views: (1037)     Pages: ()     Uploaded: 13-05-09
•  

• 

• Expression Templates for Partial Differential Equations 4 citations ? ...
• The implementation of numerical algorithms for solving partial dierential equations costs a lot of time and the optimization of such codes is dicult. These problems can be reduced by expression templa...
• Rating:        Views: (1009)     Pages: ()     Uploaded: 13-05-09
•