共 50 条
- [31] An abstract strong normalization theorem COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2005, 3634 : 27 - 35
- [32] Abstract decomposition theorem and applications LOGIC AND ITS APPLICATIONS, 2005, 380 : 73 - 108
- [34] Abstract interpretation with a theorem prover FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 411 - 422
- [40] AN ABSTRACT FORMULATION OF QUANTUM DYNAMICS BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1965, 13 (04): : 329 - +