• 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

2023

CPP

  • Author of Terms for Efficient Proof Checking and Parsing within the CPP 2023-track

2022

CPP

  • Author of Safe, Fast, Concurrent Proof Checking for the lambda-Pi Calculus Modulo Rewriting within the CPP 2022-track
Share
xFri 23 May 17:51
using conf.researchr.org (v1.69.0)
Support page
Sign Up