Masahiko Sato

Available identifiers

zbMath Open sato.masahikoMaRDI QIDQ235615

List of research outcomes

Publication	Date of Publication	Type
The Data structures of the lambda terms	2024-09-09	Paper
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
Explicit environments	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
A study of Kripke-type models for some modal logics by Gentzen's sequential method	1977-01-01	Paper
The retracts in \(P\omega\) do not form a continuous lattice - a solution to Scott's problem	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

This page was built for person: Masahiko Sato