(Q43431082)

English

Mechanized derivation of linear invariants

scientific article published in May 1989

Statements

Identifiers

 
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit
                  edit