A
Aralex
Aachen research explorer
Sign in
Menu
Papers
Authors
Topics
Journals
Patents
Institutions
Departments
Sign in
Papers
Authors
Topics
Journals
Patents
Organizations
Institutions
Departments
Papers
in Logic, programming, and type systems
5
Sort:
Cited
Newest
Oldest
Fwci
Patents
⇩ CSV
Conference Reports
2023
ACM SIGLOG News
article
Computer Science
Logic, programming, and type systems
Open access
Joost-Pieter Katoen
0
citations
CONFERENCE REPORTS
2024
ACM SIGLOG News
article
Computer Science
Logic, programming, and type systems
Joost-Pieter Katoen
0
citations
Conference Reports
2025
ACM SIGLOG News
article
Computer Science
Logic, programming, and type systems
Joost-Pieter Katoen
0
citations
Conference Reports
2025
ACM SIGLOG News
article
Computer Science
Logic, programming, and type systems
Joost-Pieter Katoen
0
citations
Report on the 10th International Conference on Formal Structures for Computation and Deduction (FSCD 2025)
2025
ACM SIGLOG News
article
Computer Science
Logic, programming, and type systems
Emma Ahrens
,
Jan-Christoph Kassing
0
citations
5 results