Hiroshi Watanabe

From MaRDI portal
Person:703524

Available identifiers

zbMath Open watanabe.hiroshiMaRDI QIDQ703524

List of research outcomes





PublicationDate of PublicationType
A coalgebraic representation of reduction by cone of influence2013-12-04Paper
Well-behaved translations between structural operational semantics2013-08-15Paper
Category theory for operational semantics2005-01-11Paper
https://portal.mardi4nfdi.de/entity/Q44450492004-01-28Paper
Combining a monad and a comonad2002-07-15Paper
On the structure of categories of coalgebras2001-08-20Paper
https://portal.mardi4nfdi.de/entity/Q44993062001-03-05Paper
The subobject classifier of the category of functional bisimulations2000-05-14Paper
https://portal.mardi4nfdi.de/entity/Q49361432000-01-25Paper
A criterion for the existence of subobject classifiers1999-09-26Paper
https://portal.mardi4nfdi.de/entity/Q42563131999-07-12Paper
https://portal.mardi4nfdi.de/entity/Q42229541999-01-06Paper

Research outcomes over time

This page was built for person: Hiroshi Watanabe

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:703524&oldid=10466891"
Powered by MediaWiki