• Sign in
  • Sign up
conf.researchr.org / Michael Färber
  • POPL 2022 profile
  • POPL 2023 profile
Michael Färber

Registered user since Sun 28 Nov 2021

Name:Michael Färber
Country:Austria
Affiliation:Universität Innsbruck, Austria
Personal website:http://cl-informatik.uibk.ac.at/users/mfaerber/
GitHub:https://github.com/01mf02

Contributions

CPP 2023 Author of Terms for Efficient Proof Checking and Parsing within the CPP 2023-track
CPP 2022 Author of Safe, Fast, Concurrent Proof Checking for the lambda-Pi Calculus Modulo Rewriting within the CPP 2022-track

Share
xSat 1 Apr 10:08
using conf.researchr.org (v1.60.0)
Support page
Sign Up