scientific article
From MaRDI portal
Publication:2871867
zbMath1278.68276MaRDI QIDQ2871867
Julien Narboux, Christian Urban
Publication date: 10 January 2014
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066108000340?np=y
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Formalizing adequacy: a case study for higher-order abstract syntax ⋮ POPLMark reloaded: Mechanizing proofs by logical relations ⋮ Mechanizing proofs with logical relations – Kripke-style ⋮ Reasoning in Abella about Structural Operational Semantics Specifications
Uses Software
This page was built for publication:
