scientific article; zbMATH DE number 1231647
From MaRDI portal
Publication:4222972
zbMath0917.68196MaRDI QIDQ4222972
Publication date: 6 January 1999
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=1313011
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 (4)
A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces ⋮ Light monotone Dialectica methods for proof mining ⋮ Things that can and things that cannot be done in PRA ⋮ Bounded functional interpretation
This page was built for publication: