Istvàn Németi - Concepedia

Author

Istvàn Németi

Also Known As

I Nemeti, I. NEMETI, I. Nemeti, I. N{émeti, I. NÉMETI, I. Németi, ISTVAN NÉMETI, ISTVÁN NÉMETI, Istvan Németi, Istvàn Németi

163

Publications

2.8K

Citations

H-Index

Concepts

All Affiliations

Hungarian Academy of Sciences Alfréd Rényi Institute of Mathematics Cairo University

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	15	18	1.2K
2	Computer Science	5	5	227
3	Mathematical Foundations	5	5	114
4	Language Studies	3	3	647
5	Linguistics	3	3	647

Istvàn Németi

Publications

Citations

H-Index

Page 1

	Year	Citations
Modal Languages and Bounded Fragments of Predicate Logic Hajnal Andréka, István Németi, Johan van Benthem Journal of Philosophical Logic SyntaxEngineeringAutomated ReasoningFormal MethodsFirst-order Logic	1998	593
Non-Turing Computations Via Malament–Hogarth Space-Times Gábor Etesi, István Németi International Journal of Theoretical Physics	2002	182
Relativistic computers and the Turing barrier István Németi, Gyula Dávid Applied Mathematics and Computation Turing MachineEngineeringQuantum ComputingUnconventional ComputingComputational Complexity	2005	74
The generalized completeness of Horn predicate-logic as a programming language. Hajnal Andréka, István Németi Acta Cybernetica Computational LogicEngineeringAutomated ReasoningFormal MethodsWell-founded Semantics	1978	59
A complete logic for reasoning about programs via nonstandard model theory I Hajnal Andréka, István Németi, Ildikó Sain Theoretical Computer Science ReasoningApplied LogicComputational LogicEngineeringAutomated Reasoning	1982	59
Back and Forth Between Modal Logic and Classical Logic Hajnal Andréka, Johan van Benthem, István Németi Logic Journal of IGPL Theory Of ComputingNon-classical LogicEngineeringHungary E-mailAutomated Reasoning	1995	56
Non-Turing computations via Malament-Hogarth space-times Gábor Etesi, István Németi ArXiv.org Computational Complexity TheoryEngineeringGeneral RelativityAutomated ReasoningComputational Model Theory	2001	51
A logic road from special relativity to general relativity Hajnal Andréka, Judit X. Madarász, István Németi, Synthese Automated ReasoningGeneral RelativityGeometric RelativitySpecial Relativity	2011	50
General relativistic hypercomputing and foundation of mathematics Hajnal Andréka, István Németi, Péter Németi Natural Computing EngineeringGeneral Relativistic HypercomputingSpecial RelativityComputational Model TheoryUnconventional Computing	2009	49
Finite algebras of relations are representable on finite sets Hajnal Andréka, Ian Hodkinson, István Németi Journal of Symbolic Logic Algebraic LogicAbstract AlgebraRepresentation TheoryFinite AlgebrasRelational Structures	1999	47

Page 1