19th International Workshop on Logical and Semantic Frameworks, with Applications. LSFA 2024 Proceedings

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
19th International Workshop on Logical and Semantic Frameworks, with Applications. LSFA 2024 Proceedings
 
Editor Herausgeber_in
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Leitsch, Alexander ; Lolić, Anela ; Mahler, Stella Towards an Analysis of Proofs in ArithmeticInproceedings Konferenzbeitrag 2024