共 50 条
- [1] Algebraic elimination of ε-transitions DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE, 2005, 7 (01): : 51 - 69
- [4] Algebraic proofs of cut elimination JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2001, 49 (1-2): : 15 - 30
- [5] Discrete geometry for algebraic elimination ALGEBRA, GEOMETRY, AND SOFTWARE SYSTEMS, 2003, : 77 - 91