Tomoyuki Suzuki

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Topics

Regular Languages

Regular Expressions

Deterministic Finite Automata

Grammatical Inference

Top Venues

Advances in Modal Logic

University of Leicester, UK (PHD)

Education History

University of Leicester, UK

PHD

Publications

Tomoyuki Suzuki
On Polarity Frames: Applications to Substructural and Lattice-based Logics. Advances in Modal Logic (2014)
Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
Nominal Regular Expressions for Languages over Infinite Alphabets. Extended Abstract. CoRR (2013)
Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
On Nominal Regular Languages with Binders. FoSSaCS (2012)
Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions. IFIP TCS (2012)
Tomoyuki Suzuki
Morphisms on Bi-approximation Semantics. Advances in Modal Logic (2012)
Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
Towards Nominal Formal Languages CoRR (2011)
Tomoyuki Suzuki
Bi-approximation Semantics for Substructural Logic at Work. Advances in Modal Logic (2010)