Login
Register
Reset Password
Pubblica & Distribuisci
Soluzioni Editoriali
Soluzioni di Distribuzione
Temi
Pubblicazioni
Riviste
Libri
Atti
Editori
Blog
Contatti
Cerca
Login
Registrati
Reimposta password
Carrello
EUR
USD
GBP
Italiano
English
Deutsch
Polski
Español
Français
Italiano
Home
Riviste
Formalized Mathematics
Volume 25 (2017): Numero 2 (July 2017)
Accesso libero
About Quotient Orders and Ordering Sequences
Sebastian Koch
Sebastian Koch
| 23 set 2017
Formalized Mathematics
Volume 25 (2017): Numero 2 (July 2017)
INFORMAZIONI SU QUESTO ARTICOLO
Articolo precedente
Articolo Successivo
Sommario
Bibliografia
Autori
Articoli in questo Numero
Anteprima
PDF
Cita
CONDIVIDI
Pubblicato online:
23 set 2017
Pagine:
121 - 139
Ricevuto:
27 giu 2017
DOI:
https://doi.org/10.1515/forma-2017-0012
Parole chiave
quotient order
,
ordered finite sequences
© 2017 Sebastian Koch, published by De Gruyter Open
This work is licensed under a Creative Commons Attribution Share-Alike 4.0 License.