Satoshi Matsuoka

From MaRDI portal
Person:601134

Available identifiers

zbMath Open matsuoka.satoshiMaRDI QIDQ601134

List of research outcomes





PublicationDate of PublicationType
A formal model for a linear time correctness condition of proof nets of multiplicative linear logic2022-03-23Paper
https://portal.mardi4nfdi.de/entity/Q50138252021-12-02Paper
Direct encodings of NP-complete problems into Horn sequents of multiplicative linear logic2018-07-09Paper
On intuitionistic proof nets with additional rewrite rules and their approximations2013-04-19Paper
A coding theoretic study of MLL proof nets2012-06-04Paper
Model-based fault localization: finding behavioral outliers in large-scale computing systems2010-11-03Paper
Weak typed Böhm theorem on IMLL2007-02-14Paper
A foundation of solution methods for constraint hierarchies2003-08-25Paper
https://portal.mardi4nfdi.de/entity/Q44206042003-08-18Paper
Estimating the active dimension of cardiac pacemaking dynamics2003-03-04Paper
https://portal.mardi4nfdi.de/entity/Q45358972002-06-16Paper
https://portal.mardi4nfdi.de/entity/Q42176062000-03-16Paper
https://portal.mardi4nfdi.de/entity/Q47030411999-12-14Paper
A constraint-based approach for visualization and animation1998-08-03Paper

Research outcomes over time

This page was built for person: Satoshi Matsuoka

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