Equational abstractions

  1. Meseguer, J.
  2. Palomino, M.
  3. Martí-Oliet, N.
Aldizkaria:
Theoretical Computer Science

ISSN: 0304-3975

Argitalpen urtea: 2008

Alea: 403

Zenbakia: 2-3

Orrialdeak: 239-264

Mota: Artikulua

DOI: 10.1016/J.TCS.2008.04.040 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus