Über Programmeffizienz und algebraische Komplexitaet
From MaRDI portal
Publication:1163359
zbMath0483.68017MaRDI QIDQ1163359
Publication date: 1980
Published in: Informatik Spektrum (Search for Journal in Brave)
Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication: Über Programmeffizienz und algebraische Komplexitaet