I. N�meti - Concepedia

Author

I. N�meti

Also Known As

I. N�meti, Istv�n N�meti

Publications

Citations

H-Index

Concepts

All Affiliations

I. N�meti is an author at Vanderbilt University specializing in formal methods, automated reasoning, and formal verification.

#	Concept	H-Index	Publications	Citations
1	Engineering	1	1	22
2	Computer Science	1	1	22
3	Automated Reasoning	1	1	22
4	Formal Methods	1	1	22
5	Formal Verification	1	1	22

I. N�meti

Publications

Citations

H-Index

Page 1

	Year	Citations
Free algebras in discriminator varieties H. Andr�ka, B. J�nsson, I. N�meti Algebra Universalis Schubert CalculusRepresentation TheoryCommutative AlgebraFree AlgebrasAlgebraic Combinatorics	1991	36
Decidable and undecidable logics with a binary modality �gnes Kurucz, I. N�meti, Ildik� Sain, Journal of Logic Language and Information Non-classical LogicEngineeringSubstructural LogicAutomated ReasoningModal Logic	1995	22

Page 1