Herbrand-Confluence
From MaRDI portal
Publication:2871477
DOI10.2168/LMCS-9(4:24)2013zbMath1325.03069arXiv1310.8156MaRDI QIDQ2871477
Stefan Hetzl, Lutz Straßburger
Publication date: 8 January 2014
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1310.8156
Related Items (1)
Uses Software
This page was built for publication: Herbrand-Confluence
