Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

PL EN

Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Czasopismo

Banach Center Publications

1988 | 21 | 1 | 377-384

Tytuł artykułu

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

Autorzy

Dimiter Skordev

Treść / Zawartość

Pełne teksty:
bcp_21_1_25.pdf

Warianty tytułu

Języki publikacji

EN

Abstrakty

Słowa kluczowe

Wydawca

Institute of Mathematics Polish Academy of Sciences

Czasopismo

Banach Center Publications

Rocznik

1988

Tom

21

Numer

1

Strony

377-384

Opis fizyczny

Daty

wydano
1988

Twórcy

autor
Dimiter Skordev
  • Sofia University, Sofia, Bulgaria

Bibliografia

Typ dokumentu

Bibliografia

Identyfikatory

Identyfikator YADDA

bwmeta1.element.zamlynska-b31e1fe4-261b-4284-94bb-7c065de64363
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.