Takuya Ohata

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 1

Top Topics

Lambda Calculus

Complex Objects

Database Query Languages

Semistructured Data

Top Venues

Publications

Takuya Ohata, Shin-ya Nishizaki
Let-Binding with Regular Expressions in Lambda Calculus. J. Softw. 11 (2) (2016)
Ritsuya Ikeda, Takuya Ohata, Shin-ya Nishizaki
Formalization of Broadcast Communication in Process Calculus and Its Model Checking. ICSOFT (1) (2009)