Docs
🇬🇧
en
Mint Work
Sign in
Get Started
By
Stateful authorization logic – Proof theory and a case study | NobleID
v1
Stateful authorization logic – Proof theory and a case study
Deepak Garg
,
Frank Pfenning
DG
Deepak Garg
NobleID
NI2P69W63R04S96
Type:
Journal Article
Claim Your Authorship
Cite
Sign in to see the full record
Creating an account is free.
Sign in
Create an account
For data access, contact
info@nobleid.org
.