Satoshi Matsuoka

Available identifiers

Publication	Date of Publication	Type
A formal model for a linear time correctness condition of proof nets of multiplicative linear logic	2022-03-23	Paper
https://portal.mardi4nfdi.de/entity/Q5013825	2021-12-02	Paper
Direct encodings of NP-complete problems into Horn sequents of multiplicative linear logic	2018-07-09	Paper
On intuitionistic proof nets with additional rewrite rules and their approximations	2013-04-19	Paper
A coding theoretic study of MLL proof nets	2012-06-04	Paper
Model-based fault localization: finding behavioral outliers in large-scale computing systems	2010-11-03	Paper
Weak typed Böhm theorem on IMLL	2007-02-14	Paper
A foundation of solution methods for constraint hierarchies	2003-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4420604	2003-08-18	Paper
Estimating the active dimension of cardiac pacemaking dynamics	2003-03-04	Paper
https://portal.mardi4nfdi.de/entity/Q4535897	2002-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q4217606	2000-03-16	Paper
https://portal.mardi4nfdi.de/entity/Q4703041	1999-12-14	Paper
A constraint-based approach for visualization and animation	1998-08-03	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Satoshi Matsuoka