logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
R

Revantha Ramanayake

university of groningen

9H-index
42Paper Count
192Citation Count
Published Papers 2
Publication Date
logo
errAUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2025
IF0
err2026-01-01
err0
errOAAI
errCiabattoni, Agata; Lang, Timo; Ramanayake, Revantha
errShare
errSave
errTHEORETICAL COMPUTER SCIENCE
IF1
err2025-09-01
err0
errOAAI
errGreati, Vitor; Ramanayake, Revantha
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
A
Agata Ciabattoni
H-index: 18 · Papers: 132
V
Vitor Greati
H-index: 5 · Papers: 30
T
Timo Lang
H-index: 3 · Papers: 19
All loaded