The following pages link to Douglas R. Troeger (Q797987):
Displaying 11 items.
- Weak equivalence in a class of structured program schemes (Q797988) (← links)
- An axiomatization of D-scheme strong equivalence (Q799095) (← links)
- A logical characterization of observation equivalence (Q802306) (← links)
- (Q2472581) (redirect page) (← links)
- Reflections on the residual finiteness of one-relator groups. (Q2472582) (← links)
- Challenge response password security using combinatorial group theory (Q3585199) (← links)
- (Q3614646) (← links)
- VIRTUAL PROPERTIES OF CYCLICALLY PINCHED ONE-RELATOR GROUPS (Q3636024) (← links)
- Step bisimulation is pomset equivalence on a parallel language without explicit internal choice (Q4279248) (← links)
- (Q4741696) (← links)
- (Q4742978) (← links)
