A completeness theorem in the modal logic of programs

Tom 9 / 1982

Krister Segerberg Banach Center Publications 9 (1982), 31-46 DOI: 10.4064/-9-1-31-46

Autorzy

  • Krister Segerberg

Przeszukaj wydawnictwa IMPAN

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

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek