Monografie
Effiziente Normalform-Algorithmen für Ersetzungssysteme über frei partiell kommutativen Monoiden
- Sprache
-
Deutsch
- Anmerkungen
-
Stuttgart, UNiv., Diss., 1996
- Identifier
-
956945783
Thema
Nebenläufigkeit ; Freies partiell kommutatives Monoid ; Reduktionssystem ; Hochschulschrift; Online-Publikation
Beteiligte Personen und Organisationen
Bertol, Michael W.
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:57 MEZ
Objekttyp
- Monografie
Beteiligte
- Bertol, Michael W.
Ähnliche Objekte (12)
Objects in Oz
Programming constraint services
Moduln mit aufsteigender Kettenbedingung für n-erzeugte Untermoduln und bestimmte Annihilatoren
On minimal graded free resolutions
Superposition theorem proving for commutative algebraic theories
Upper bounds for local cohomology modules of rings with a given Hilbert function
Entwicklung verteilter Softwaresysteme : Integration von Verteilung, Nebenläufigkeit und Persistenz
Algebraic discrete Morse theory and applications to commutative algebra = (Algebraische diskrete Morse-Theorie und Anwendungen in der kommutativen Algebra)
Dualitätssätze für Hopf-Algebren über Ringen
Asynchrones Constraintlösen : ein generisches Ausführungsmodell zur adaptiven, inkrementellen Constraintverarbeitung
Output space compaction for testing and concurrent checking
Cohomology rings of subspace arrangements and the topology of stable Kneser graphs
Objects in Oz
Programming constraint services
Moduln mit aufsteigender Kettenbedingung für n-erzeugte Untermoduln und bestimmte Annihilatoren
On minimal graded free resolutions
Superposition theorem proving for commutative algebraic theories
Upper bounds for local cohomology modules of rings with a given Hilbert function
Entwicklung verteilter Softwaresysteme : Integration von Verteilung, Nebenläufigkeit und Persistenz
Algebraic discrete Morse theory and applications to commutative algebra = (Algebraische diskrete Morse-Theorie und Anwendungen in der kommutativen Algebra)
Dualitätssätze für Hopf-Algebren über Ringen
Asynchrones Constraintlösen : ein generisches Ausführungsmodell zur adaptiven, inkrementellen Constraintverarbeitung
Output space compaction for testing and concurrent checking
Cohomology rings of subspace arrangements and the topology of stable Kneser graphs
Objects in Oz
Programming constraint services
Moduln mit aufsteigender Kettenbedingung für n-erzeugte Untermoduln und bestimmte Annihilatoren
On minimal graded free resolutions
Superposition theorem proving for commutative algebraic theories
Upper bounds for local cohomology modules of rings with a given Hilbert function
Entwicklung verteilter Softwaresysteme : Integration von Verteilung, Nebenläufigkeit und Persistenz
Algebraic discrete Morse theory and applications to commutative algebra = (Algebraische diskrete Morse-Theorie und Anwendungen in der kommutativen Algebra)
Dualitätssätze für Hopf-Algebren über Ringen
Asynchrones Constraintlösen : ein generisches Ausführungsmodell zur adaptiven, inkrementellen Constraintverarbeitung
Output space compaction for testing and concurrent checking