Graph-based proof procedures for Horn clauses : S. Raatz, Birkhäuser, Boston, 1990. 147 pp., Sfr.52, ISBN 0-8176-3530-0 (Boston), 3-7643-3530-0 (Basel)

• Publisher: Elsevier Science
• Year: 1991
• Tongue: English
• Weight: 243 KB
• Volume: 33
• Category: Article
• ISSN: 0378-4754
• DOI: 10.1016/0378-4754(91)90130-u

✦ Synopsis

This collection of 39 original research articies highlights current research on mathematical modelling and numerical methods for free boundary problems of parabolic and hyperbolic type. Contributions to the control and inverse problems related to free boundaries are also presented. ?Jany numerical techniques, such as front tracking, adaptive grids, subgradient methods and domain decomposition methods are studied in connection with free boundaries. Of special interest are papers by scientists whose results have hitherto been little known in western countries. The contents of this book will be of interest to mathematicians, engineers, students and applied scientists faced with with these problems.