Kazuyuki Tanaka's Work on AND-OR Trees and Subsequent Developments


Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.4288/jafpos.25.0_79
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 44,455
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

TAP Equation for Non-Negative Boltzmann Machine.Muneki Yasuda & Kazuyuki Tanaka - 2012 - Philosophical Magazine 92 (1-3):192-209.
The Galvin-Prikry Theorem and Set Existen Axioms.Kazuyuki Tanaka - 1989 - Annals of Pure and Applied Logic 42 (1):81-104.
Weak Axioms of Determinacy and Subsystems of Analysis I: Δ20 Games.Kazuyuki Tanaka - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (6):481-491.
A Game-Theoretic Proof of Analytic Ramsey Theorem.Kazuyuki Tanaka - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):301-304.
Fixed Point Theory in Weak Second-Order Arithmetic.Naoki Shioji & Kazuyuki Tanaka - 1990 - Annals of Pure and Applied Logic 47 (2):167-188.
Maximum Marginal Likelihood Estimation and Constrained Optimization in Image Restoration.Kazuyuki Tanaka - 2001 - Transactions of the Japanese Society for Artificial Intelligence 16:246-258.
Maximum Marginal Likelihood Estimation and Constrained Optimization in Image Restoration.Kazuyuki Tanaka - 2001 - 人工知能学会論文誌: Transactions of the Japanese Society for Artificial Intelligence 16:246-258.
On Formalization of Model-Theoretic Proofs of Gödel's Theorems.Makoto Kikuchi & Kazuyuki Tanaka - 1994 - Notre Dame Journal of Formal Logic 35 (3):403-412.
The Self-Embedding Theorem of WKL0 and a Non-Standard Method.Kazuyuki Tanaka - 1997 - Annals of Pure and Applied Logic 84 (1):41-49.

Analytics

Added to PP index
2017-09-10

Total views
8 ( #839,966 of 2,272,584 )

Recent downloads (6 months)
4 ( #323,014 of 2,272,584 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature