Monografie
Advances in equational theorem proving : architecture, algorithms, and redundancy avoidance
- Sprache
-
Englisch
- Anmerkungen
-
Kaiserslautern, Techn. Univ., Diss., 2005
- Identifier
-
980535425
Thema
Automatisches Beweisverfahren ; Implementierung ; Effizienter Algorithmus ; Algorithmus; Hochschulschrift
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:55 MEZ
Objekttyp
- Monografie
Beteiligte
Ähnliche Objekte (12)
Ausdrucksfähigkeit und effiziente Implementierbarkeit formaler Beschreibungstechniken am Beispiel von Estelle
On efficient algorithms for filtration related multiscale problems
Online packet buffering
Automorphism groups of hyperelliptic function fields
Effiziente parallele Ausführung irregulärer rekursiver Programme
Streaming, Local, and MultiLevel (Hyper)Graph Decomposition
A framework for XML similarity joins
Algorithms for sparse convolution and sublinear edit distance
Scaling Up Description Logic Reasoning by Distributed Resolution
Scaling up description logic reasoning by distributed resolution
Automatischer Entwurf und Autokonfiguration von Bildverarbeitungssystemen für die industrielle Oberflächeninspektion
Polynomially solvable cases of hypergraph transversal and related problems
Ausdrucksfähigkeit und effiziente Implementierbarkeit formaler Beschreibungstechniken am Beispiel von Estelle
On efficient algorithms for filtration related multiscale problems
Online packet buffering
Automorphism groups of hyperelliptic function fields
Effiziente parallele Ausführung irregulärer rekursiver Programme
Streaming, Local, and MultiLevel (Hyper)Graph Decomposition
A framework for XML similarity joins
Algorithms for sparse convolution and sublinear edit distance
Scaling Up Description Logic Reasoning by Distributed Resolution
Scaling up description logic reasoning by distributed resolution
Automatischer Entwurf und Autokonfiguration von Bildverarbeitungssystemen für die industrielle Oberflächeninspektion
Polynomially solvable cases of hypergraph transversal and related problems
Ausdrucksfähigkeit und effiziente Implementierbarkeit formaler Beschreibungstechniken am Beispiel von Estelle
On efficient algorithms for filtration related multiscale problems
Online packet buffering
Automorphism groups of hyperelliptic function fields
Effiziente parallele Ausführung irregulärer rekursiver Programme
Streaming, Local, and MultiLevel (Hyper)Graph Decomposition
A framework for XML similarity joins
Algorithms for sparse convolution and sublinear edit distance
Scaling Up Description Logic Reasoning by Distributed Resolution
Scaling up description logic reasoning by distributed resolution
Automatischer Entwurf und Autokonfiguration von Bildverarbeitungssystemen für die industrielle Oberflächeninspektion