论文信息 - New Computational Paradigms - 字舞流文

New Computational Paradigms

Benedikt Löwe | S. Barry Cooper | Leen Torenvliet | S. Cooper | L. Torenvliet | B. Löwe

[1] Thanases Pheidas,et al. The Analogue of Büchi's Problem for Polynomials , 2005, CiE.

[2] Dirk Pattinson,et al. Domain-Theoretic Formulation of Linear Boundary Value Problems , 2005, CiE.

[3] Milad Niqui,et al. Formalising Exact Arithmetic in Type Theory , 2005, CiE.