Browse by ISBN
Jump to: K
Number of items: 1.
K
Kupke, Clemens and Marti, Johannes and Venema, Yde; Manea, Florin and Simpson, Alex, eds. (2022) Succinct graph representations of ยต-calculus formulas. In: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022. Leibniz International Proceedings in Informatics, LIPIcs . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, DEU. ISBN 9783959772181