Вы здесь

Главная

Univ. Kaiserslautern

Связанные издания:

20 Jahre Universitat Kaiserlautern
A complition procedure for globally finite term rewriting systems
A Frame Based Approach to Representing Mathematical Concepts
A Human Oriented Proof Presentation Method
A lokal micro network to support software modularity
AN ALGORITHM FOR THE WOLD PROBLEM IN HNN EXTENSIONS AND THE DEPENDENCE OF ITS COMPLEXITY ON THE GROUP REPRESENTATION
Analytische Formfaktorberechnung mittels SVBSP-Baumen
An approach to parameterized continuous data types
An Integrated Environment for the Performance Measurement and Evaluation in a DB/DC System
An Integrated PProblem Solving Framework as an Intelligent Aid for Analyzing and Synthesizing Technical Systems
An Introduction to Non-Monotonic Reasoning
An Object-Oriented Architecture for User Interface Management in Distributed Applications
Another Error Recovery Algorithm for LR Parsers
A Novel ASIC Design Approach Based on a New Machine Paradigm
A Novel Paradigm of Parallel Computation and its Use to Implement Simple High Performance Hardware
Application of rewriting techniques to solve the generalized word problem in groups
Architektur offener Umweltinformationssysteme
A Resolution Calculus Extended by Equivalence
Arithmetische Operationen auf Bezierflachen
A second-order matching procedure for the practical use in a program transformation system
Assoziative Prozessoren
A Test For Lambda-Confluence For Certain Prefix Rewriting Systems With Applications To The Generalized Word Problem
A theorem proving associative processor
Attribute Evaluation after Recovery from Syntax Error
A unification graph with constraints for intelligent backtracking in deduction systems
Automatic Design of the Internal Schema for a CODASYL-Database System
Automatic generation of functional test patterns from RT language source
Automatische Extraktion von Register-Transfer Beschreibungen aus dem Layout integrierter Schaltungen
Autonome Mobile Roboter. Einfuhrung und Uberblick
A Voronoi Diagram Based Adaptive K-Means-Type Clustering Algorithm for Multidimensional Weighted Data
Backus - FP: ein funktionales Programmiersystem
Breaking Ties Deterministically in Distributed Simulation Schemes
B-spline-Bezier representation of rational spline curves
Buffer Invalidation Problem in DB-Sharing Systems
Canonical term functors and parameterization-by-use for the specification of abstract data types
CASSANDRA. Ein System zur Leitungsvorhersage bei Datenbanksystemen mit Hilfe analytischer Modelle
Combination of Unification Algorithms in Equational Theories
Combinatorial algorithms in algebraic structures
Communication And Testing In a Loosely Coupled Multi Microcomputer System
Commutativity in groups presented by finite Church-Rosser Thue systems
Comparing on Strings: Iterated Syllable Ordering and Recursive Path Ordering
Comparison of Simplification Orderings
Composition of Tensor Product Bezier Representations
C-Testable Cells for ATPG from RT Descriptions
Database Systems for Non-Standard Applications
Definition of Solid Primitives by Rational Bezier Volumes
Derivation-Bounded Groups
Desidable Sentences for Context-Free Groups
Design and Evaluation of Concurrency and Coherency Control Techniques for Database Sharing Systems
Detecting Causal Relationships in Distributed Computations: In Search of the Holy Grail