Ähnliche Schlagwörter innerhalb Ihrer Suche.
Ähnliche Schlagwörter innerhalb Ihrer Suche.
- Church-Rosser-Eigenschaft
- Graphersetzungssystem 2 [ausschließen]
- Hochschulschrift 2 [ausschließen]
- Konflikt Informatik 2 [ausschließen]
- Modelltransformation 2 [ausschließen]
- Algebra, Universal Data processing 1 [ausschließen]
- Automatic theorem proving 1 [ausschließen]
- Automatisches Beweisverfahren 1 [ausschließen]
- Computer algorithms 1 [ausschließen]
- Computeralgebra 1 [ausschließen]
- Datenverarbeitung 1 [ausschließen]
- Formale Semantik 1 [ausschließen]
- Forschungsbericht 1 [ausschließen]
- LISP 1 [ausschließen]
- Reduktion 1 [ausschließen]
- Sigma-Algebra 1 [ausschließen]
-
1
A formal resolution strategy for operation-based conflicts in model versioning using graph modifications
Veröffentlicht 2011Volltext
kostenfrei
Volltext
Volltext
Volltext
Elektronisch E-Book -
2
-
3
The Church-Rosser property in computer algebra and special theorem proving an investigation of critical pair, completion algorithms
Veröffentlicht 1984Abschlussarbeit Buch -
4
Operationelle und funktionale Semantik von Sigma-Graphen mit Anwendungen auf LISP
kostenfrei
Abschlussarbeit Elektronisch E-Book