Login / Signup
Michael Kifer
Publication Activity (10 Years)
Years Active: 1983-2023
Publications (10 Years): 19
Top Topics
Logical Framework
Recent Progress
Access Control Policies
Regression Analysis
Top Venues
CoRR
Theory Pract. Log. Program.
RR
MoDELS (Companion)
</>
Publications
</>