S. Yamasaki

From MaRDI portal

Person:5213675

Jump to:navigation, search

Available identifiers

zbMath Open yamasaki.sakikoMaRDI QIDQ5213675

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
Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics	2020-02-04	Paper
A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics	2002-03-03	Paper

Research outcomes over time

This page was built for person: S. Yamasaki

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:5213675&oldid=37664983"