Concepedia

Author

Ildik� Sain

Hungarian Academy of Sciences

Also Known As

Ildik� Sain

2

Publications

50

Citations

2

H-Index

13

Concepts

All Affiliations

Hungarian Academy of Sciences
IS

About

Ildik� Sain is an author at Hungarian Academy of Sciences specializing in formal verification, automated reasoning, and formal methods.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

2

2

50

2

Computer Science

2

2

50

3

Reasoning

1

1

28

4

Software Analysis

1

1

28

5

Software Engineering

1

1

28

Ildik� Sain

×

2

Publications

50

Citations

2

H-Index

YearCitations

Is ?some-other-time? sometimes better than ?sometime? for proving partial correctness of programs?

Ildik� Sain

Studia Logica

1988

28

Decidable and undecidable logics with a binary modality

�gnes Kurucz, I. N�meti, Ildik� Sain,

Journal of Logic Language and Information

1995

22

Page 1