共 50 条
- [1] Function algebraic characterizations of the polytime functions [J]. computational complexity, 1999, 8 : 346 - 356
- [2] Algebraic characterizations of the elementary transcendental functions [J]. PROCEEDINGS OF THE SECOND ASIAN MATHEMATICAL CONFERENCE 1995, 1998, : 585 - 588
- [3] Algebraic characterizations of small classes of boolean functions [J]. STACS 2003, PROCEEDINGS, 2003, 2607 : 331 - 342
- [6] Neat function algebraic characterizations of logspace and linspace [J]. computational complexity, 2005, 14 : 72 - 88
- [10] Proofs of termination of rewrite systems for polytime functions [J]. FSTTCS 2005: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2005, 3821 : 529 - 540