Hiroyuki Naruse

From MaRDI portal
Person:190255

Available identifiers

zbMath Open naruse.hiroyukiMaRDI QIDQ190255

List of research outcomes





PublicationDate of PublicationType
A syntactic approach to Maksimova's principle of variable separation for some substructural logics2001-07-17Paper

Research outcomes over time

This page was built for person: Hiroyuki Naruse