`Travelled to:`

1 × Australia

1 × Canada

1 × United Kingdom

2 × Germany

2 × Japan

`Collaborated with:`

S.Okui T.Ida A.Middeldorp ∅ M.Marin K.Nakagawa

`Talks about:`

narrow (3) higher (3) order (3) lazi (3) function (2) condit (2) disambigu (1) confluenc (1) standard (1) calculus (1)

## Person: Taro Suzuki

### DBLP: Suzuki:Taro

### Contributed to:

### Wrote 7 papers:

- CIAA-2010-OkuiS #ambiguity #automaton #regular expression
- Disambiguation in Regular Expression Matching via Position Automata with Augmented Transitions (SO, TS), pp. 231–240.
- CIAA-2009-SuzukiO
- Hedge Pattern Partial Derivative (TS, SO), pp. 125–134.
- FLOPS-2001-SuzukiM #lazy evaluation
- A Complete Selection Function for Lazy Conditional Narrowing (TS, AM), pp. 201–215.
- FLOPS-1999-MarinIS #higher-order #lazy evaluation #on the
- On Reducing the Search Space of Higher-Order Lazy Narrowing (MM, TI, TS), pp. 319–334.
- ALP-1997-SuzukiNI #calculus #functional #higher-order #lazy evaluation #logic
- Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language (TS, KN, TI), pp. 99–113.
- ALP-1996-Suzuki #revisited #standard #theorem
- Standardization Theorem Revisited (TS), pp. 122–134.
- RTA-1995-SuzukiMI #term rewriting
- Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides (TS, AM, TI), pp. 179–193.