Concepedia

Istvàn Németi

IN

48

Publications

2K

Citations

22

H-Index

1975

Active since

Affiliations

Hungarian Academy of Sciences(Current)

Alfréd Rényi Institute of Mathematics

Cairo University

Istvàn Németi is an author at Hungarian Academy of Sciences specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringFormal MethodsRepresentation TheoryFormal VerificationSemanticsVerificationComputer ScienceMathematical FoundationsLanguage

Publications per year

1975–2013

48

Publications

48

Modal Languages and Bounded Fragments of Predicate Logic

Hajnal Andréka, István Németi, Johan van Benthem · Journal of Philosophical Logic · 1998 · 593 citations

Syntax, Engineering, Automated Reasoning +8

Non-Turing Computations Via Malament–Hogarth Space-Times

Gábor Etesi, István Németi · International Journal of Theoretical Physics · 2002 · 182 citations

Relativistic computers and the Turing barrier

István Németi, Gyula Dávid · Applied Mathematics and Computation · 2005 · 74 citations

Turing Machine, Engineering, Quantum Computing +5

The generalized completeness of Horn predicate-logic as a programming language.

Hajnal Andréka, István Németi · Acta Cybernetica · 1978 · 59 citations · Full text

Computational Logic, Engineering, Automated Reasoning +10

A complete logic for reasoning about programs via nonstandard model theory I

Hajnal Andréka, István Németi, Ildikó Sain · Theoretical Computer Science · 1982 · 59 citations

Reasoning, Applied Logic, Computational Logic +11

Rows per page

1–5 of 48