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

Tobias Kappé

leiden university

7H-index
51Paper Count
205Citation Count
Published Papers 1
Publication Date
logo
On Propositional Program Equivalence (Extended Abstract)
errLOGIC, LANGUAGE, INFORMATION, AND COMPUTATION, WOLLIC 2025
IF0
err2026-01-01
err0
PREAI
errKappe, Tobias
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
No data available