Travelled to:
1 × Japan
Collaborated with:
K.Hiraishi
Talks about:
counterexampl (1) variabl (1) pattern (1) consist (1) exampl (1) note (1) find (1) one (1)
Person: Takeshi Koshiba
DBLP: Koshiba:Takeshi
Contributed to:
Wrote 1 papers:
- WLC-2000-KoshibaH #consistency
- A Note on Finding One-Variable Patterns Consistent with Examples and Counterexamples (TK, KH), pp. 253–265.