共 28 条
- [1] ALUR R, 1993, LECT NOTES COMPUTER, V736, P340
- [2] ALUR R, THEORET COMPUT SCI, V138, P3
- [3] ASARIN E, 1995, THEORET COMPUT SCI, V138, P33
- [4] ASARIN E, 1995, LECT NOTES COMPUTER, V1026, P471
- [5] ASARIN E, 1994, LECT NOTES COMPUTER, V820, P59
- [6] BALCAZAR JL, 1988, EATCS MONOGRAPHS
- [7] LOGICAL REVERSIBILITY OF COMPUTATION [J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1973, 17 (06) : 525 - 532
- [10] Cerans [11] K., 1992, LECTURE NOTES COMPUT, V663, P269