Masateru Harao

Available identifiers

zbMath Open harao.masateruMaRDI QIDQ799107

List of research outcomes

Publication	Date of Publication	Type
On Generalization and Subsumption for Ordered Clauses	2009-03-26	Paper
Mining Frequent Diamond Episodes from Event Sequences	2009-02-17	Paper
Tractable and intractable second-order matching problems	2007-08-24	Paper
Fundamentals of Computation Theory	2006-10-20	Paper
Inductive Logic Programming	2006-10-19	Paper
Discovery Science	2005-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q4548330	2002-08-26	Paper
Higher order generalization and its application in program verification	2002-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q4505379	2000-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4938678	2000-02-23	Paper
https://portal.mardi4nfdi.de/entity/Q4246979	2000-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4703446	1999-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q4703447	1999-12-15	Paper
https://portal.mardi4nfdi.de/entity/Q4370349	1998-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q3126937	1997-04-03	Paper
https://portal.mardi4nfdi.de/entity/Q3793771	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3782821	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3714478	1985-01-01	Paper
Indecomposable maps in tesselation structures of arbitrary dimension	1984-01-01	Paper
Global mapping space of cellular systems	1979-01-01	Paper
On Some Dynamical Properties of Finite Cellular Automaton	1978-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4180187	1978-01-01	Paper
Fault tolerant cellular automata	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4126253	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4126254	1973-01-01	Paper

Research outcomes over time

This page was built for person: Masateru Harao