J.A. Michell is an author at Universidad de Cantabria specializing in engineering, computer engineering, and computer architecture.
Top concepts
EngineeringComputer EngineeringComputer ArchitectureVlsi DesignComputer ScienceFormal MethodsMicroelectronicsVideo ProcessingSignal ProcessingParallel Computing
Publications per year
1992–2011
8
8
Decision problems for propositional linear logic
Patrick Lincoln, J.A. Michell, Andre Scedrov et al. · 2002 · 53 citations
Rows per page
1–5 of 8