The Church Rosser Property in computer algebra and special theorem proving an investigation of critical pair, completion algorithms
Guardat en:
| Autor principal: | |
|---|---|
| Format: | Llibre |
| Idioma: | anglès |
| Publicat: |
Wien
VWGÖ
1984
|
| Col·lecció: | Dissertationen der Johannes Kepler-Universität Linz
Bd 49 |
| Etiquetes: |
Sense etiquetes, Sigues el primer a etiquetar aquest registre!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LDR | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 3069292 | ||
| 007 | tu | ||
| 041 | |a eng | ||
| 100 | 1 | |a Winkler, Franz | |
| 245 | 1 | 0 | |a The Church Rosser Property in computer algebra and special theorem proving |b an investigation of critical pair, completion algorithms |
| 246 | 3 | |a WINKLER, Franz: | |
| 264 | 1 | |a Wien |b VWGÖ |c 1984 | |
| 300 | |a 193 S. |c 8° | ||
| 490 | 0 | |a Dissertationen der Johannes Kepler-Universität Linz |v Bd 49 | |
| 500 | |a WINKLER, Franz: -- The Church Rosser Property in computer algebra and special theorem proving:an in- -- vestigation of critical pair,completion al- -- gorithms. - Wien:VWGÖ 1984. 193 S. 8° -- Linz,naturwiss.Diss.1984. -- (Dissertationen der Johannes Kepler-Uni- -- versität Linz.Bd 49.) -- 1985:2289. -- S.D. | ||
| 852 | |c 77.289/49 | ||
| 999 | |a Dissertation | ||
| 591 | |a description: The Church ROSSer Property in Computer algebra and special theorem provingian investigation of critical pair,completion algorithms. Wien.VWGÖ 1984. 193 S. 8Linz,naturwiss.Diss.1984. Dissertationen der Johannes KeplerUniversität Linz.Bd 49. 1985:2289. S.D. |a signature: 77.28949 |a author: WINKLER, Franz |a published: 1985 |