Otwarty dostęp

An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates

Ievgen Ivanov

Ievgen Ivanov

Taras Shevchenko National UniversityKyiv, Ukraine
Wyszukaj tego autora
Sciendo|Google Scholar
Ivanov, Ievgen
, 
Artur Korniłowicz

Artur Korniłowicz

Institute of Informatics, University of BiałystokPoland
Wyszukaj tego autora
Sciendo|Google Scholar
Korniłowicz, Artur
 oraz 
Mykola Nikitchenko

Mykola Nikitchenko

Taras Shevchenko National UniversityKyiv, Ukraine
Wyszukaj tego autora
Sciendo|Google Scholar
Nikitchenko, Mykola
  
24 gru 2018
An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates's Cover Image
O artykule
Poprzedni artykuł
Następny artykuł
Zacytuj
Pobierz okładkę
Data publikacji: 24 gru 2018
Zakres stron: 159 - 164
Przyjęty: 29 cze 2018
DOI: https://doi.org/10.2478/forma-2018-0013
Słowa kluczowe
© 2018 Ievgen Ivanov et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License.
Język:
Angielski
Częstotliwość wydawania:
1 razy w roku
Dziedziny czasopisma:
Matematyka, Matematyka ogólna, Informatyka, Informatyka, inne
Kanał RSS czasopisma