Logowanie
Zarejestruj się
Zresetuj hasło
Publikuj i Dystrybuuj
Rozwiązania Wydawnicze
Rozwiązania Dystrybucyjne
Dziedziny
Publikacje
Czasopisma
Książki
Materiały konferencyjne
Wydawcy
Blog
Kontakt
Wyszukiwanie
Koszyk
EUR
USD
GBP
Polski
English
Deutsch
Polski
Español
Français
Italiano
Home
Czasopisma
Formalized Mathematics
Tom 24 (2016): Zeszyt 2 (June 2016)
Otwarty dostęp
On Multiset Ordering
Grzegorz Bancerek
Grzegorz Bancerek
| 08 gru 2016
Formalized Mathematics
Tom 24 (2016): Zeszyt 2 (June 2016)
O artykule
Poprzedni artykuł
Następny artykuł
Abstrakt
Referencje
Autorzy
Artykuły w tym zeszycie
Podgląd
PDF
Zacytuj
Udostępnij
Data publikacji:
08 gru 2016
Zakres stron:
95 - 106
Otrzymano:
31 gru 2015
DOI:
https://doi.org/10.1515/forma-2016-0008
Słowa kluczowe
ordering
,
Dershowitz-Manna ordering
© 2016 Grzegorz Bancerek, published by De Gruyter Open
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.
Grzegorz Bancerek
Association of Mizar Users, Białystok, Poland