The following pages link to Rudolf Berghammer (Q246438):
Displaying 7 items.
- Logic Based Program Synthesis and Transformation (Q5713947) (← links)
- (Q5747088) (← links)
- Mathematik für Informatiker (Q5891466) (← links)
- Relational Methods in Computer Science (Q5899306) (← links)
- Relational Methods in Computer Science (Q5899315) (← links)
- Theory and Applications of Relational Structures as Knowledge Instruments (Q5902047) (← links)
- Cardinality of relations and relational approximation algorithms (Q5963086) (← links)