The church rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithms
Franz Winkler
| Year of publication: |
1984
|
|---|---|
| Authors: | Winkler, Franz |
| Institutions: | Verband der Wissenschaftlichen Gesellschaften Österreichs (contributor) |
| Publisher: |
Wien : VWGÖ |
| Subject: | Mathematik | Mathematics | Informatik | Computer science | Computeralgebra | Reduktion | Automatisches Beweisverfahren | Church-Rosser-Eigenschaft | Computer | Algebra |
| Extent: | 193 S. Ill. 21 cm |
|---|---|
| Series: | Dissertationen der Johannes-Kepler-Universität Linz. - Wien : Verb. d. Wiss. Ges. Österreichs, ISSN 0259-0689, ZDB-ID 538086-8. - Vol. 49 |
| Type of publication: | Book / Working Paper |
| Type of publication (narrower categories): | Hochschulschrift ; Thesis ; Graue Literatur ; Non-commercial literature |
| Language: | English |
| Thesis: | Zugl.: Linz, Univ., Diss., 1984 |
| Notes: | Literaturverz. S. 182 - 193 |
| ISBN: | 3-85369-584-1 |
| Source: | ECONIS - Online Catalogue of the ZBW |
Persistent link: https://www.econbiz.de/10000715552