JEDNOSTKA NAUKOWA KATEGORII A+

On the use of homomorphisms for proving the equivalence of some programs

Tom 21 / 1988

Dimiter Skordev Banach Center Publications 21 (1988), 377-384 DOI: 10.4064/-21-1-377-384

Autorzy

  • Dimiter Skordev

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek