scientific article; zbMATH DE number 1331927
From MaRDI portal
Publication:4261732
zbMath0922.03019MaRDI QIDQ4261732
David A. Basin, Robert L. Constable
Publication date: 2 September 1999
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 (11)
Let’s Get Physical: Models and Methods for Real-World Security Protocols ⋮ Structuring metatheory on inductive definitions ⋮ Twenty years of rewriting logic ⋮ A metatheory of a mechanized object theory ⋮ Unnamed Item ⋮ Reflection of formal tactics in a deductive reflection framework ⋮ Exploring abstract algebra in constructive type theory ⋮ Towards an integration science. The influence of Richard Bellman on our research. ⋮ Structuring metatheory on inductive definitions ⋮ Higher-order substitutions ⋮ The practice of logical frameworks
This page was built for publication:
