The following pages link to Loe M. G. Feijs (Q169674):
Displaying 13 items.
- Abstract derivation of transitive closure algorithms (Q287162) (← links)
- (Q590548) (redirect page) (← links)
- Relation partition algebra -- mathematical aspects of uses and part-of relations (Q1806126) (← links)
- (Q3597133) (← links)
- Relation algebra with multi-relations (Q4256050) (← links)
- (Q4321288) (← links)
- Languages for formalizing, visualizing and verifying software architectures (Q4329555) (← links)
- A Constructive Logic for Services and Information Flow in Computer Networks (Q4525951) (← links)
- (Q5137873) (← links)
- Formal Specification and Design (Q5287557) (← links)
- Mechanisms for naming an algebraic approach with an application to Java (Q5929013) (← links)
- Component algebra (Q5959419) (← links)
- Designing Fractal Line Pied-de-poules: A Case Study in Algorithmic Design Mediating between Culture and Fractal Mathematics (Q6081243) (← links)
