The following pages link to Masahiko Sato (Q235615):
Displaying 32 items.
- Viewing \({\lambda}\)-terms through maps (Q740485) (← links)
- Theory of symbolic expressions. I (Q791311) (← links)
- External and internal syntax of the \(\lambda \)-calculus (Q968531) (← links)
- Theory of symbolic expressions. II (Q1075757) (← links)
- On the periods of certain pseudorandom sequences (Q1215375) (← links)
- On formal fractions associated with the symmetric groups (Q1229247) (← links)
- The retracts in \(P\omega\) do not form a continuous lattice - a solution to Scott's problem (Q1241760) (← links)
- A study of Kripke-type models for some modal logics by Gentzen's sequential method (Q1257012) (← links)
- Intuitionistic and classical natural deduction systems with the catch and the throw rules (Q1392143) (← links)
- Characterization of pseudo-Boolean models by Boolean models and its applications to intermediate logics (Q2264662) (← links)
- A canonical locally named representation of binding (Q2392482) (← links)
- Grundy functions and linear games (Q2554993) (← links)
- (Q2708319) (← links)
- (Q2763701) (← links)
- (Q3044486) (← links)
- (Q3813289) (← links)
- A cut-free Gentzen-type system for the modal logic S5 (Q3887437) (← links)
- (Q4016562) (← links)
- Numerical experiments on a conjecture of B.C. Mortimer and K.S. Williams (Q4055754) (← links)
- (Q4263880) (← links)
- (Q4370223) (← links)
- (Q4413069) (← links)
- (Q4433983) (← links)
- (Q4490727) (← links)
- (Q4703043) (← links)
- (Q4703141) (← links)
- (Q4953359) (← links)
- Adding proof objects and inductive definition mechanisms to frege structures (Q5096212) (← links)
- Computer Science Logic (Q5292660) (← links)
- Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making (Q5463956) (← links)
- Strong normalizability of the non-deterministic catch/throw calculi (Q5958297) (← links)
- The Data structures of the lambda terms (Q6600650) (← links)