VÁGVÖLGYI, SÁNDOR (2015) NUMBER OF EQUIVALENT REDUCED GROUND TERM REWRITING SYSTEMS. Asian Journal of Mathematics and Computer Research, 8 (1). pp. 56-68.
Full text not available from this repository.Abstract
We give a lower bound, computable in O(n3) time, on the number of reduced ground term rewriting systems equivalent to any given reduced ground term rewriting system.
| Item Type: | Article |
|---|---|
| Subjects: | STM Open Academic > Mathematical Science |
| Depositing User: | Unnamed user with email admin@eprint.stmopenacademic.com |
| Date Deposited: | 26 Dec 2023 08:03 |
| Last Modified: | 26 Dec 2023 08:03 |
| URI: | http://publish.sub7journal.com/id/eprint/1874 |
Actions (login required)
- View Item