scientific article
From MaRDI portal
Publication:3034806
zbMath0692.68016MaRDI QIDQ3034806
Fernando Orejas, Marisa Navarro
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
abstract data typesinductive theoryparameterized specificationsbool-persistencypassing compatibility
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Proofs in parameterized specifications ⋮ Using induction and rewriting to verify and complete parameterized specifications ⋮ A general framework to build contextual cover set induction provers ⋮ Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
This page was built for publication:
