Mechanized derivation of linear invariants (Q43431082)
Jump to navigation
Jump to search
scientific article published in May 1989
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Mechanized derivation of linear invariants |
scientific article published in May 1989 |
Statements
1 reference
Mechanized derivation of linear invariants (English)
1 reference
Cavender JA
1 reference
1 May 1989
1 reference
1 reference
6
1 reference
3
1 reference
301-316
1 reference
Identifiers
1 reference