scientific article
From MaRDI portal
Publication:2871875
zbMath1278.03062MaRDI QIDQ2871875
Alberto Momigliano, Alan J. Martin, Amy P. Felty
Publication date: 10 January 2014
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610800039X?np=y
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey ⋮ Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description)
Uses Software
This page was built for publication:
