Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Berghammer, Rudolf - Institut für Informatik, Christian-Albrechts-Universität Kiel
KIEL { A Computer System for Visualizing the Execution of Functional Programs
Relational Depth-First-Search with Applications Rudolf Berghammer and Thorsten Ho mann
Formal Development and Veri cation of Approximation Algorithms Using Auxiliary
KIEL { Ein Computersystem zur Visualisierung der Auswertung von funktionalen Programmen
Scientific Papers of Rudolf Berghammer 1. Berghammer R.: Graphensprachen. Diplomarbeit, Institut f ur Informatik, Technische Uni
Ein generisches Programm f ur inklusionsminimale Teilmengen mit einer
Modeling Sequences within the RelView System Rudolf Berghammer and Thorsten Ho mann
Soundness of a Purely Syntactical Formalization of Weakest Preconditions
A Generic Program for Minimal Subsets With Applications
RelationAlgebraic Derivation of Spanning Tree Algorithms
Scientific Papers of Rudolf Berghammer 1. Berghammer R.: Graphensprachen. Diplomarbeit, Institut fur Informatik, Technische Uni-
Expected Runtimes of Evolutionary Algorithms for the Eulerian Cycle Problem
A Linear Approximation Algorithm for Bin Packing With Absolute Approximation Factor 3
RelMis'01 Preliminary Version Prototyping and Programming with Relations
Prototyping Relational Specifications and Programs with RELVIEW
Expected Runtimes of a Simple Evolutionary Algorithm for the Multi-objective Minimum
Relational Implementation of Simple Parallel Evolutionary Algorithms
Applying Relational Algebra in 3D Graphical Software Design
