A Computation Theory and Implementation of Sequential Hardware Equivalence.

Paper Info

Title
A Computation Theory and Implementation of Sequential Hardware Equivalence.

Year	Venue	Keywords
1990	Computer-Aided Verification	computability theory
Field	DocType	Citations
Computability logic,Algebra,Computer science,Effective method,Computability,Reduction (complexity),Model of computation,Equivalence (measure theory),Computable function,Theory of computation	Conference	33
PageRank	References	Authors
5.19	0	1

Authors (1 rows)

Cited by (33 rows)

References (0 rows)

Name	Order	Citations	PageRank
Carl Pixley	1	121	11.69