Managing Proof Documents for Asynchronous Processing
From MaRDI portal
Publication:5166497
DOI10.1016/j.entcs.2008.12.097zbMath1291.68342OpenAlexW2127073439MaRDI QIDQ5166497
Publication date: 27 June 2014
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.12.097
Related Items
Uses Software
Cites Work