Masahiko Sato

Available identifiers

zbMath Open sato.masahikoMaRDI QIDQ235615

List of research outcomes

Publication	Date of Publication	Type
Adding proof objects and inductive definition mechanisms to frege structures	2022-08-16	Paper
Viewing \({\lambda}\)-terms through maps	2014-09-03	Paper
A canonical locally named representation of binding	2013-08-01	Paper
External and internal syntax of the \(\lambda \)-calculus	2010-05-05	Paper
Computer Science Logic	2007-06-21	Paper
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making	2005-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q3044486	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4433983	2003-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q4413069	2003-07-17	Paper
Strong normalizability of the non-deterministic catch/throw calculi	2002-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q2763701	2002-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2708319	2001-04-17	Paper
https://portal.mardi4nfdi.de/entity/Q4490727	2000-07-20	Paper
https://portal.mardi4nfdi.de/entity/Q4953359	2000-05-09	Paper
https://portal.mardi4nfdi.de/entity/Q4263880	2000-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4703043	1999-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4703141	1999-12-14	Paper
Intuitionistic and classical natural deduction systems with the catch and the throw rules	1998-07-23	Paper
https://portal.mardi4nfdi.de/entity/Q4370223	1998-06-14	Paper
https://portal.mardi4nfdi.de/entity/Q4016562	1993-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q3813289	1988-01-01	Paper
Theory of symbolic expressions. II	1985-01-01	Paper
Theory of symbolic expressions. I	1983-01-01	Paper
A cut-free Gentzen-type system for the modal logic S5	1980-01-01	Paper
The retracts in \(P\omega\) do not form a continuous lattice - a solution to Scott's problem	1977-01-01	Paper
A study of Kripke-type models for some modal logics by Gentzen's sequential method	1977-01-01	Paper
On formal fractions associated with the symmetric groups	1976-01-01	Paper
On the periods of certain pseudorandom sequences	1974-01-01	Paper
Characterization of pseudo-Boolean models by Boolean models and its applications to intermediate logics	1973-01-01	Paper
Numerical experiments on a conjecture of B.C. Mortimer and K.S. Williams	1973-01-01	Paper
Grundy functions and linear games	1972-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Masahiko Sato