We stand with Ukraine  

Tomoyuki Suzuki

Affiliations:
  • University of Leicester


According to our database1, Tomoyuki Suzuki authored at least 10 papers between 2010 and 2014.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
On Polarity Frames: Applications to Substructural and Lattice-based Logics.
[BibTeX]
[DOI]
Tomoyuki Suzuki
Proceedings of the Advances in Modal Logic 10, 2014

2013
A Sahlqvist Theorem for Substructural Logic.
[BibTeX]
[DOI]
Tomoyuki Suzuki
Rev. Symb. Log., 2013

Nominal Regular Expressions for Languages over Infinite Alphabets. Extended Abstract.
[BibTeX]
[DOI]
Alexander Kurz
,
Tomoyuki Suzuki
,
Emilio Tuosto
CoRR, 2013

2012
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions.
[BibTeX]
[DOI]
Alexander Kurz
,
Tomoyuki Suzuki
,
Emilio Tuosto
Proceedings of the Theoretical Computer Science, 2012

On Nominal Regular Languages with Binders.
[BibTeX]
[DOI]
Alexander Kurz
,
Tomoyuki Suzuki
,
Emilio Tuosto
Proceedings of the Foundations of Software Science and Computational Structures, 2012

Morphisms on Bi-approximation Semantics.
[BibTeX]
[DOI]
Tomoyuki Suzuki
Proceedings of the Advances in Modal Logic 9, 2012

2011
Canonicity Results of Substructural and Lattice-based Logics.
[BibTeX]
[DOI]
Tomoyuki Suzuki
Rev. Symb. Log., 2011

Towards Nominal Formal Languages
[BibTeX]
[DOI]
Alexander Kurz
,
Tomoyuki Suzuki
,
Emilio Tuosto
CoRR, 2011

2010
Canonicity and bi-approximation in non-classical logics.
[BibTeX]
[DOI]
Tomoyuki Suzuki
PhD thesis, 2010

Bi-approximation Semantics for Substructural Logic at Work.
[BibTeX]
[DOI]
Tomoyuki Suzuki
Proceedings of the Advances in Modal Logic 8, 2010


  Loading...