The following pages link to (Q4559476):
Displaying 8 items.
- Composing dinatural transformations: towards a calculus of substitution (Q2031559) (← links)
- Rewriting theory for the life sciences: a unifying theory of CTMC semantics (Q2049987) (← links)
- Infinitary action logic with exponentiation (Q2067638) (← links)
- 25th EACSL annual conference and 30th workshop on computer science logic, CSL'16, Marseille, France, August 29 -- September 1, 2016. Proceedings (Q2832301) (← links)
- (Q3454221) (← links)
- (Q5369036) (← links)
- (Q5882061) (← links)
- Restriction on cut rule in cyclic-proof system for symbolic heaps (Q6633582) (← links)