Logical Approaches to Computational Barriers

DOI10.1007/11780342zbMath1145.68315OpenAlexW4255986326WikidataQ55968647 ScholiaQ55968647MaRDI QIDQ5898811

Gregorio de Miguel Casado, Juan Manuel García Chamizo

Publication date: 30 April 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11780342

zbMATH Keywords

ConvolutionAlgebraic specificationIntegral transformsType-2 Theory of EffectivityOnline-arithmeticTheoretical VLSI design

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mathematical problems of computer architecture (68M07)

This page was built for publication: Logical Approaches to Computational Barriers