The following pages link to Max I. Kanovich (Q1326779):
Displaying 4 items.
- Light linear logics with controlled weakening: expressibility, confluent strong normalization (Q408540) (← links)
- Bounded memory Dolev-Yao adversaries in collaborative systems (Q462499) (← links)
- Linear logic as a tool for planning under temporal uncertainty (Q534715) (← links)
- The two-way rewriting in action: removing the mystery of Euler-Glaisher's map (Q882113) (← links)
