Eugenia Ternovska

Simon Fraser University

论文数

2

总引用数

17

H-Index

2

关于

暂无简介。

研究焦点

Programming language2 · 17 次引用
Computer science2 · 17 次引用
Normalization property2 · 17 次引用
Theoretical computer science2 · 17 次引用
Mathematics1 · 12 次引用
Natural deduction1 · 12 次引用
Calculus (dental)1 · 12 次引用
Logic programming1 · 12 次引用
Logical framework1 · 12 次引用
Mathematical proof1 · 12 次引用
Proof calculus1 · 12 次引用
Situation calculus1 · 12 次引用

主要成就

2
H 指数
2
论文
17
总引用数
9
篇均引用
🏆 最高被引论文
Non-terminating processes in the situation calculus
12 次引用 · 2019
📈 最高产年份: 2019 (1 论文)
🤝 主要合作者: 3
🏛 所属机构: Simon Fraser University

代表论文

  1. 1
    Non-terminating processes in the situation calculus
    12 次引用 · 2019
  2. 2
    A model checker for verifying ConGolog programs
    5 次引用 · 2002

主要合作者

RRRay Reiter1 篇合著论文GDGiuseppe De Giacomo1 篇合著论文LKLeila Kalantari1 篇合著论文
尚未生成