The following pages link to Anthony Widjaja Lin (Q1708663):
Displaying 4 items.
- A linear-time algorithm for the orbit problem over cyclic groups (Q303693) (← links)
- String solving with word equations and transducers: towards a logic for analysing mutation XSS (Q2828250) (← links)
- Decidable models of integer-manipulating programs with recursive parallelism (Q5915566) (← links)
- A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type (Q6485885) (← links)
