scientific article
From MaRDI portal
Publication:3063994
zbMath1201.68054MaRDI QIDQ3063994
Publication date: 18 December 2010
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)
Efficient equivalence-checking algorithms for procedural programs in progressive semigroup gateway models ⋮ Program equivalence checking by two-tape automata ⋮ Efficient algorithms for checking the equivalence of programs in interrupt handling models
This page was built for publication:
