//--> //--> //-->
Toggle navigation
Logout
Change account settings
EN
DE
ES
FR
A-Z
Beta
About EconBiz
News
Thesaurus (STW)
Research Skills
Help
EN
DE
ES
FR
My account
Logout
Change account settings
Login
Publications
Events
Your search terms
Search
Retain my current filters
~person:"Winkler, Franz"
~subject:"Mathematics"
~subject:"Theory"
~type_genre:"Graue Literatur"
Search options
All Fields
Title
Exact title
Subject
Author
Institution
ISBN/ISSN
Published in...
Publisher
Open Access only
Advanced
Search history
My EconBiz
Favorites
Loans
Reservations
Fines
You are here:
Home
Modeling use cases and their s...
Similar by subject
Narrow search
Delete all filters
| 4 applied filters
Year of publication
From:
To:
Subject
All
Mathematics
Theory
Algebra
1
Automatisches Beweisverfahren
1
Church-Rosser-Eigenschaft
1
Computer
1
Computer science
1
Computeralgebra
1
Informatik
1
Mathematik
1
Reduktion
1
more ...
less ...
Type of publication
All
Book / Working Paper
1
Type of publication (narrower categories)
All
Graue Literatur
Hochschulschrift
1
Non-commercial literature
1
Thesis
1
Language
All
English
1
Author
All
Winkler, Franz
Berilko, V. I.
1
Cappelli, Stéphane
1
Frei, Heinz
1
Gallizzi, Katharina
1
Gronau, Norbert
1
Grum, Marcus
1
Heine, Moreen
1
Koller, Petra
1
Marinović, Marija
1
Reiß, Winfried
1
Reusch, Bernd
1
Robinson, Boris V.
1
Segura, Juan
1
Slimani, Y.
1
Strubi, Pascal
1
Svin'in, V. F.
1
Svinʹin, V. F.
1
Timm, Ingo J.
1
Wagenhals, Gerhard
1
more ...
less ...
Institution
All
Verband der Wissenschaftlichen Gesellschaften Österreichs
1
Published in...
All
Dissertationen der Johannes-Kepler-Universität Linz
1
Source
All
ECONIS (ZBW)
1
Showing
1
-
1
of
1
Sort
Relevance
Date (newest first)
Date (oldest first)
1
The church rosser property in computer algebra and special theorem proving: an investigation of critical pair, completion algorithms
Winkler, Franz
-
1984
Persistent link: https://www.econbiz.de/10000715552
Saved in:
Results per page
10
25
50
100
250
A service of the
zbw
×
Loading...
//-->