Concepedia

Andrzej Grzegorczyk

AG

Statistics

Publications

14

Citations

1.4K

H-Index

13

Active since

1951

Affiliations

University of Warsaw(Current)

Andrzej Grzegorczyk is an author at University of Warsaw specializing in automated reasoning, formal methods, and engineering.

Top concepts

Automated ReasoningEngineeringFormal MethodsSemanticsFormal VerificationLanguageLinguisticsComputer SciencePhilosophy Of LanguageGeometry

Publications per year

1951–2005

14

Publications

14

Some classes of recursive functions

Andrzej Grzegorczyk · 1964 · 305 citations

Function Theory, Recursive Functions, Recursive Function +1

On the definitions of computable real continuous functions

Andrzej Grzegorczyk · Fundamenta Mathematicae · 1957 · 291 citations

Engineering, Computational Model Theory, Formal Methods +4

Computable functionals

Andrzej Grzegorczyk · Fundamenta Mathematicae · 1955 · 195 citations · Full text

Undecidability of Some Topological Theories

Andrzej Grzegorczyk · Fundamenta Mathematicae · 1951 · 109 citations · Full text

Topological Theories, Topological Property, Set-theoretic Topology +1

Some relational systems and the associated topological spaces

Andrzej Grzegorczyk · Fundamenta Mathematicae · 1967 · 85 citations · Full text

Automated Reasoning, Set-theoretic Topology, Topological Representation +2

1–5 of 14