Article thumbnail

T-string unification: Unifying prefixes in non-classical proof methods

By Jens Otten and Christoph Kreitz
Publisher: 'Springer Science and Business Media LLC'
Year: 2012
DOI identifier: 10.1007/3-540-61208-4_16
OAI identifier:
Provided by: MUCC (Crossref)

Suggested articles


To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.