Hitoshi Ohsaki

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Transforming termination by self-labelling Automated Deduction — Cade-13	2019-01-15	Paper
A formal semantics of extended hierarchical state transition matrices using CSP\# Formal Aspects of Computing	2016-08-05	Paper
On Model Checking for Visibly Pushdown Automata Language and Automata Theory and Applications	2012-06-08	Paper
Propositional Tree Automata Lecture Notes in Computer Science	2008-09-25	Paper
Languages Modulo Normalization Frontiers of Combining Systems	2008-09-16	Paper
Combining Equational Tree Automata over AC and ACI Theories Rewriting Techniques and Applications	2008-08-28	Paper
Tree Automata for Non-linear Arithmetic Rewriting Techniques and Applications	2008-08-28	Paper
Monotone AC-Tree Automata Logic for Programming, Artificial Intelligence, and Reasoning	2008-05-27	Paper
scientific article; zbMATH DE number 2090068 (Why is no real title available?)	2004-08-12	Paper
scientific article; zbMATH DE number 2043549 (Why is no real title available?)	2004-02-16	Paper
scientific article; zbMATH DE number 1841842 (Why is no real title available?)	2002-12-04	Paper
scientific article; zbMATH DE number 1670496 (Why is no real title available?)	2001-11-11	Paper
Type introduction for equational rewriting Acta Informatica	2000-11-22	Paper
scientific article; zbMATH DE number 1380897 (Why is no real title available?)	1999-12-20	Paper
scientific article; zbMATH DE number 1114350 (Why is no real title available?)	1998-06-11	Paper

Research outcomes over time

This page was built for person: Hitoshi Ohsaki