A complete equational connection calculus with rigid E-unification

Detalles Bibliográficos
Autor principal: Petermann, U
Lenguaje:eng
Publicado: 1993
Materias:
Mathematical Physics and Mathematics
Acceso en línea:http://cds.cern.ch/record/262916

Internet

http://cds.cern.ch/record/262916

Ejemplares similares