Revantha Ramanayake
Has grant
TU Wien
AustriaResearch Interests
Explore related searches
Recent Grants
Grant: Close
Graded consequence and hypersequent calculi for substructural logics
Open Date: 2020-09-01
Close Date: 2022-08-01
Grant: Close
Unifying structural proof theory via bounded sequent calculi
Open Date: 2020-08-01
Close Date: 2023-07-01
Grant: Close
Formalisierung der Beweistheorien
Open Date: 2016-01-01
Close Date: 2017-01-01
Articles (4)
Year:
2025
Year:
2025
Year:
2021
Year:
2021
Collaborators (3)
Marianna Girlando
Academic, Assistant Professor
University of Amsterdam
NETHERLANDS
Tim Lyon
TU Wien
AUSTRIA
Agata Ciabattoni
Full Professor
TU Wien
AUSTRIA
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.