Eugenia Ternovska
Papers
2
Total Citations
17
H-Index
2
About
No biography available yet.
Research Focus
Programming language2 · 17 citations
Computer science2 · 17 citations
Normalization property2 · 17 citations
Theoretical computer science2 · 17 citations
Mathematics1 · 12 citations
Natural deduction1 · 12 citations
Calculus (dental)1 · 12 citations
Logic programming1 · 12 citations
Logical framework1 · 12 citations
Mathematical proof1 · 12 citations
Proof calculus1 · 12 citations
Situation calculus1 · 12 citations
Key Achievements
2
H-Index
2
Papers
17
Total Citations
9
Avg Citations/Paper
🏆 Most Cited Paper
Non-terminating processes in the situation calculus
12 citations · 2019
📈 Most Prolific Year: 2019 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Simon Fraser University
Top Papers
- 1Non-terminating processes in the situation calculus12 citations · 2019
- 2A model checker for verifying ConGolog programs5 citations · 2002
Key Collaborators
Not generated yet