The Church Rosser Property in computer algebra and special theorem proving an investigation of critical pair, completion algorithms
Bewaard in:
| Hoofdauteur: | |
|---|---|
| Formaat: | Boek |
| Taal: | Engels |
| Gepubliceerd in: |
Wien
VWGÖ
1984
|
| Reeks: | Dissertationen der Johannes Kepler-Universität Linz
Bd 49 |
| Tags: |
Geen labels, Wees de eerste die dit record labelt!
|
| Order eBook: |
|
| Order Book: | Login to order |
Wees de eerste die reageert!