RelMiCS10/AKA5 - PhD Programme
- Basics of Relation Algebra
J. Desharnais
- Basics of Modal Kleene Algebra
G. Struth
- Basics of Preference and Fuzzy Preference Modelling
S. Saminger
- Relation Algebraic Aspects of
Semantics, Visualization and Implementation
for Functional Logic Languages
B. Braßel
- Program Inversion and Relation Algebra
J. Christiansen
- First Order Theorem Prover Evaluation w.r.t.
Relation- and Kleene Algebra
H.-H. Dang, P. Höfner
- The Theory of Allegories and Automatic
Proof-Generation
J. Glanfield
- Import Networks, Fuzzy Relations and Semirings
R. Glück
- Implication and
Functional Dependency in Formal Contexts
T. Ishida, K. Honda, Y. Kawahara
- Towards an Algebraic
Composition of Semantic Web Services
F. Lautenbacher, P. Höfner
- Multirelational Model of Lazy Kleene Algebra
N. Tsumagari, K. Nishizawa, H. Furusawa
B. Möller
bernhard.moeller@informatik.uni-augsburg.de
Last modified:
5-Feb-2008