Concepedia

Yiannis N. Moschovakis

YN

Statistics

Publications

26

Citations

1.3K

H-Index

22

Active since

1964

Affiliations

University of California, Los Angeles(Current)

National and Kapodistrian University of Athens

University of California System

University of Wisconsin–Madison

Yiannis N. Moschovakis is an author at University of California, Los Angeles specializing in engineering, automated reasoning, and formal methods.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceLanguageLinguisticsComputational ComplexitySyntaxSemanticsDiscrete Mathematics

Publications per year

1964–2010

26

Publications

26

Abstract first order computability. I, II

Yiannis N. Moschovakis · Transactions of the American Mathematical Society · 1969 · 139 citations · Full text

Engineering, Computability Theory, Automated Reasoning +10

Recursive metric spaces

Yiannis N. Moschovakis · Fundamenta Mathematicae · 1964 · 116 citations · Full text

Recursive Metric Spaces, Set-theoretic Topology, Metric Graph Theory +2

A Logical Calculus of Meaning and Synonymy

Yiannis N. Moschovakis · Linguistics and Philosophy · 2006 · 99 citations

Formal Semantics, Philosophy Of Language, Automated Reasoning +6

SOME CONSEQUENCES OF THE AXIOM OF DEFINABLE DETERMINATENESS

J. W. Addison, Yiannis N. Moschovakis · Proceedings of the National Academy of Sciences · 1968 · 94 citations · Full text

Definable Sets, Analytic Sets, Fs5 Sets +4

Uniformization in a playful universe

Yiannis N. Moschovakis · Bulletin of the American Mathematical Society · 1971 · 93 citations · Full text

1–5 of 26