The Idaho Partitioning Machine: An ACL2 Model

Report

The Idaho Partitioning Machine: An ACL2 Model

J Alves-Foss, P O'Connell, J Marshall, M Benke, R Rinker and C Taylor

01/01/2002

Metrics

1 Record Views

Details

Title: The Idaho Partitioning Machine: An ACL2 Model
Creators: J Alves-Foss
P O'Connell
J Marshall
M Benke
R Rinker
C Taylor
Identifiers: 997017324101851
Academic Unit: Computer Science
Language: English
Resource Type: Report