Ko Sakai

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
Complete equational unification based on an extension of the Knuth-Bendix completion procedure Word Equations and Related Topics	2023-08-14	Paper
Some extensions of Delete Nim	2023-01-30	Paper
On a combination of the cyclic Nimhoff and subtraction games Tsukuba Journal of Mathematics	2020-05-12	Paper
On a combination of the cyclic Nimhoff and subtraction games Tsukuba Journal of Mathematics	2020-05-12	Paper
Boolean Gröbner bases Journal of Symbolic Computation	2011-03-31	Paper
On flatness and tameness of classes of impartial games Publications of the Research Institute for Mathematical Sciences, Kyoto University	2008-02-22	Paper
Spatial-frequency analysis in the perception of perspective depth	1998-11-11	Paper
CAL: A theoretical background of constraint logic programming and its applications Journal of Symbolic Computation	1989-01-01	Paper
scientific article; zbMATH DE number 4078854 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 3949750 (Why is no real title available?)	1986-01-01	Paper
A complete axiom system for rational sets with multiplicity Theoretical Computer Science	1980-01-01	Paper

Research outcomes over time

This page was built for person: Ko Sakai