| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 423386 | Electronic Notes in Theoretical Computer Science | 2006 | 11 Pages |
Abstract
The goal is to simplify epsilon substitution method to make possible its extension to much stronger systems than ones treated up to now.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
