Atsushi Togashi

From MaRDI portal
Person:1350212

Available identifiers

zbMath Open togashi.atsushiMaRDI QIDQ1350212

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q44705662004-07-01Paper
Inductive synthesis of recursive processes from logical properties2003-01-14Paper
https://portal.mardi4nfdi.de/entity/Q49378312000-02-20Paper
https://portal.mardi4nfdi.de/entity/Q49378372000-02-20Paper
https://portal.mardi4nfdi.de/entity/Q49378462000-02-20Paper
https://portal.mardi4nfdi.de/entity/Q49378632000-02-20Paper
https://portal.mardi4nfdi.de/entity/Q47038851999-12-01Paper
https://portal.mardi4nfdi.de/entity/Q47038661999-12-01Paper
Extension of synthesis algorithm of recursive processes to \(\mu\)-calculus1997-02-27Paper
https://portal.mardi4nfdi.de/entity/Q48716781996-04-01Paper
https://portal.mardi4nfdi.de/entity/Q40083971992-09-27Paper
https://portal.mardi4nfdi.de/entity/Q38216361988-01-01Paper
A program transformation from equational programs into logic programs1987-01-01Paper

Research outcomes over time

This page was built for person: Atsushi Togashi

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