David Lidell

David Lidell

University of Gothenburg - Göteborg / Sweden
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 5617064
Göteborgs universitet
person_outline David Lidell's MOST POPULAR ARTICLES
1-) Formalizing domain models of the typed and the untyped lambda calculus in Agda University of Gothenburg, 2020
2-) A Direct Translation from LTL with Past to Deterministic Rabin Automata Mathematical Foundations of Computer Science (MFCS), 2024
3-) ppLTLTT : Temporal Testing for Pure-Past Linear Temporal Logic Formulae International Symposium on Automated Technology for Verification and …, 2023
4-) Automata Constructions for LTL with PastD LidellDepartment of Computer Science and Engineering University of Gothenburg …, 20242024
5-) Gleasons satsD Lidell, T Karmstrand, L Landgren, J Ulander2019