Li-Guo Wang

According to our database¹, Li-Guo Wang authored at least 5 papers between 1992 and 1996.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1996

Variable Knowledge Based System.

[BibT_eX]

Proceedings of the Multimedia, 1996

1995

Formal derivation of a class of computers.

[BibT_eX]

[DOI]

PhD thesis, 1995

Abstraction of Hardware Construction.

[BibT_eX]

[DOI]

Proceedings of the Higher-Order Algebra, 1995

Formal design of a class of computers.

[BibT_eX]

[DOI]

Proceedings of the Correct Hardware Design and Verification Methods, 1995

1992

Deriving a Correct Computer.

[BibT_eX]

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992