//--> //--> //-->
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
~institution:"Verband der Wissenschaftlichen Gesellschaften Österreichs"
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
Search: subject_exact:"Automatentheorie"
Narrow search
Delete all filters
| 1 applied filter
Year of publication
From:
To:
Subject
All
Algebra
1
Automatisches Beweisverfahren
1
Church-Rosser-Eigenschaft
1
Computer
1
Computer science
1
Computeralgebra
1
Informatik
1
Mathematics
1
Mathematik
1
Reduktion
1
more ...
less ...
Type of publication
All
Book / Working Paper
1
Type of publication (narrower categories)
All
Graue Literatur
1
Hochschulschrift
1
Non-commercial literature
1
Thesis
1
Language
All
English
1
Author
All
Winkler, Franz
1
Institution
All
Verband der Wissenschaftlichen Gesellschaften Österreichs
IGI Global
4
Akademia Ekonomiczna Imienia Oskara Langego we Wrocławiu
2
Gesellschaft für Informatik
2
I-KNOW <7, 2007, Graz>
2
Institute for Operations Research and the Management Sciences
2
National Bureau of Economic Research
2
TRIPLE-I <2007, Graz>
2
Technische Universität Dresden
2
AAMAS <5, 2006, Hakodate>
1
Akademia Ekonomiczna w Krakowie
1
Bundesweite Gründerinnenagentur
1
Center for Discrete Mathematics and Theoretical Computer Science <Piscataway, NJ>
1
Central Electronics Engineering Research Institute
1
Colloquium on Automata, Languages and Programming <1, 1972, Rocquencourt>
1
Fuzzy-Demonstrations-Zentrum <Dortmund>
1
Hochschule für Ökonomie Bruno Leuschner
1
Hochschule für Ökonomie Bruno Leuschner / Zentrale Arbeitsgruppe Informationsverarbeitung
1
Hungarian Computer Science Conference <3, 1981, Budapest>
1
I-SEMANTICS <2008, Graz>
1
IRIA, Institut de Recherche d'Informatique et d'Automatique
1
Industriens utredningsinstitut <Stockholm>
1
Informationskreis Organisation und Datenverarbeitung
1
Institut Istorii, Filologii i Filosofii
1
Institut de Recherche d'Informatique et d'Automatique <Rocquencourt>
1
International Conference on E-Business and Applications <10., 2024, Singapore; Online>
1
International Conference on Enterprise Information Systems <8, 2006, Paphos>
1
International Conference on Industrial Economics System and Industrial Security Engineering <10., 2023, Online>
1
International Conference on Innovation of Emerging Communication and Information Technology <2023, Madrid; Online>
1
International Conference on Research in Management & Technovation <4., 2023, Hanoi>
1
Istituto Superiore di Formazione e di Ricerca per i Trasporti <Rom>
1
Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision <Paris>
1
National Science Foundation
1
Nomos Verlagsgesellschaft
1
Nordrhein-Westfalen / Minister für Wirtschaft, Mittelstand und Technologie
1
North South Round Table
1
Rheinisch-Westfälische Akademie der Wissenschaften
1
Ruhr Campus Academy gGmbH
1
Sankt-Peterburgskij Gosudarstvennyj Universitet Ėkonomiki i Finansov
1
Schweiz / Bundesamt für Statistik
1
Shaker Verlag
1
more ...
less ...
Published in...
All
Dissertationen der Johannes-Kepler-Universität Linz
1
Source
All
ECONIS (ZBW)
1
Showing
1
-
1
of
1
Sort
relevance
articles prioritized
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...
//-->