Hitoshi Ohsaki
From MaRDI portal
Person:736826
Available identifiers
zbMath Open ohsaki.hitoshiMaRDI QIDQ736826
List of research outcomes
| Publication | Date of Publication | Type |
|---|---|---|
| Transforming termination by self-labelling | 2019-01-15 | Paper |
| A formal semantics of extended hierarchical state transition matrices using CSP\# | 2016-08-05 | Paper |
| On Model Checking for Visibly Pushdown Automata | 2012-06-08 | Paper |
| Propositional Tree Automata | 2008-09-25 | Paper |
| Languages Modulo Normalization | 2008-09-16 | Paper |
| Combining Equational Tree Automata over AC and ACI Theories | 2008-08-28 | Paper |
| Tree Automata for Non-linear Arithmetic | 2008-08-28 | Paper |
| Monotone AC-Tree Automata | 2008-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4808742 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4447253 | 2004-02-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4783330 | 2002-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2753692 | 2001-11-11 | Paper |
| Type introduction for equational rewriting | 2000-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4705617 | 1999-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4376069 | 1998-06-11 | 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: Hitoshi Ohsaki
