Atsushi Togashi

Available identifiers

zbMath Open togashi.atsushiMaRDI QIDQ1350212

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4470566	2004-07-01	Paper
Inductive synthesis of recursive processes from logical properties	2003-01-14	Paper
https://portal.mardi4nfdi.de/entity/Q4937831	2000-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q4937837	2000-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q4937846	2000-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q4937863	2000-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q4703866	1999-12-01	Paper
https://portal.mardi4nfdi.de/entity/Q4703885	1999-12-01	Paper
Extension of synthesis algorithm of recursive processes to \(\mu\)-calculus	1997-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4871678	1996-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q4008397	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q3821636	1988-01-01	Paper
A program transformation from equational programs into logic programs	1987-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Atsushi Togashi