The following pages link to Burghard von Karger (Q287021):
Displaying 16 items.
- Computing kernels in directed bichromatic graphs (Q287022) (← links)
- Sequential calculus (Q674261) (← links)
- A calculational approach to reactive systems (Q1566912) (← links)
- Towards a design calculus for CSP (Q1916361) (← links)
- (Q3998148) (← links)
- (Q4213375) (← links)
- (Q4213376) (← links)
- Temporal algebra (Q4236210) (← links)
- (Q4362882) (← links)
- (Q4362883) (← links)
- (Q4364530) (← links)
- A relational model for temporal logic (Q4383696) (← links)
- On the union of well-founded relations (Q4383698) (← links)
- (Q4738117) (← links)
- An algebraic approach to temporal logic (Q5096734) (← links)
- (Q5687234) (← links)
