scientific article
From MaRDI portal
Publication:2844810
zbMath1270.68072MaRDI QIDQ2844810
Roy L. Crole, Simon Ambler, Alberto Momigliano
Publication date: 19 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104805061
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (3)
The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey ⋮ Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions ⋮ A case study in programming coinductive proofs: Howe’s method
Uses Software
This page was built for publication:
