Documents Efficient Numerical Methods for Fractional Differential Equations and Their Analytical Background

Von der Carl-Friedrich-Gauß-Fakult ¨ at f ¨ ur Mathematik und Informatik der Technischen Universit¨ at Braunschweig genehmigte Dissertation zur Erlangung des Grades eines…

Documents Checking Validity of Quantifier-Free Formulas in Combinations of First-Order Theories

Checking Validity of Quantifier-Free Formulas in Combinations of First-Order Theories Clark W. Barrett Ph.D. Dissertation Defense Department of Computer Science Stanford…