Masaki Nakamura

From MaRDI portal
Person:968528

Available identifiers

zbMath Open nakamura.masakiMaRDI QIDQ968528

List of research outcomes





PublicationDate of PublicationType
Stability of termination and sufficient-completeness under pushouts via amalgamation2020-12-15Paper
Incremental Proofs of Termination, Confluence and Sufficient Completeness of OBJ Specifications2014-03-25Paper
Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications2010-05-05Paper
The evaluation strategy for head normal form with and without on-demand flags2001-05-07Paper
https://portal.mardi4nfdi.de/entity/Q44943662000-08-10Paper

Research outcomes over time

This page was built for person: Masaki Nakamura

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