Theoretical Computer Science

A Weak Inverse of Language Neighborhoods and Its Properties

Hyunjoon Cheon, Yo-Sub Han

Simon's Congruence Pattern Matching

Sungmin Kim, Sang-Ki Ko, Yo-Sub Han

Uniformly monotone partitioning of polygons

Hwi Kim, Jaegun Lee, Hee-Kap Ahn

Deciding path size of nondeterministic (and input-driven) pushdown automata

Yo-Sub Han, Sang-Ki Ko, Kai Salomaa

On Simon's Congruence Closure of a String

Sungmin Kim, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa