The provably terminating operations of the subsystem PETJ of explicit mathematic
| Title | The provably terminating operations of the subsystem {PETJ} of explicit mathematic |
| Publication Type | Unpublished |
| Year of Publication | Submitted |
| Authors | Probst, D |
| URL | http://www.iam.unibe.ch/ltgpub/submitted/pro10.pdf |
| Citation Key | pro10 |
