Kathrin Stark

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 12

Top Topics

Sound And Complete Axiomatization

Proof Theoretic

Valued Semantics

Top Venues

J. Funct. Program.

Publications