1,492 followers
RT @asajeffrey: @k4rtik I think it's Aspinall https://t.co/YxGB8cmJ93
RT @asajeffrey: @k4rtik I think it's Aspinall https://t.co/YxGB8cmJ93
@k4rtik I think it's Aspinall https://t.co/YxGB8cmJ93
Logics for Context-Free Languages https://t.co/3KXl9xNL0X CFGの性質を良く考えててかつ綺麗な定理も使い倒してるし良い証明だなこれ.
Logics For Context-Free Languages https://t.co/3KXl9xNL0X VPLのmatching relationが多対多になったようなやつか(ん? それだと演算子順位文法? あれ?)