W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/9016Pełny rekord metadanych
| Pole DC | Wartość | Język |
|---|---|---|
| dc.contributor.author | Koch, Sebastian | - |
| dc.date.accessioned | 2020-04-17T09:01:52Z | - |
| dc.date.available | 2020-04-17T09:01:52Z | - |
| dc.date.issued | 2019 | - |
| dc.identifier.citation | Formalized Mathematics, Volume 27, Issue 3, Pages 303–313 | pl |
| dc.identifier.issn | 1426-2630 | - |
| dc.identifier.uri | http://hdl.handle.net/11320/9016 | - |
| dc.description.abstract | In [6] partial graph mappings were formalized in the Mizar system [3]. Such mappings map some vertices and edges of a graph to another while preserving adjacency. While this general approach is appropriate for the general form of (multidi)graphs as introduced in [7], a more specialized version for graphs without parallel edges seems convenient. As such, partial vertex mappings preserving adjacency between the mapped verticed are formalized here. | pl |
| dc.language.iso | en | pl |
| dc.publisher | DeGruyter Open | pl |
| dc.rights | Uznanie autorstwa-Na tych samych warunkach 3.0 Polska | * |
| dc.rights.uri | http://creativecommons.org/licenses/by-sa/3.0/pl/ | * |
| dc.subject | graph homomorphism | pl |
| dc.subject | graph isomorphism | pl |
| dc.title | About Vertex Mappings | pl |
| dc.type | Article | pl |
| dc.identifier.doi | 10.2478/forma-2019-0025 | - |
| dc.description.Email | skoch02@students.uni-mainz.de | pl |
| dc.description.Affiliation | Johannes Gutenberg University, Mainz, Germany | pl |
| dc.description.references | Ian Anderson. A first course in discrete mathematics. Springer Undergraduate Mathematics Series. Springer, London, 2001. ISBN 1-85233-236-0. | pl |
| dc.description.references | Grzegorz Bancerek, Czesław Bylinski, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pak. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning, 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6. | pl |
| dc.description.references | Adam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191–198, 2015. doi:10.1007/s10817-015-9345-1. | pl |
| dc.description.references | Pavol Hell and Jaroslav Nesetril. Graphs and homomorphisms. Oxford Lecture Series in Mathematics and Its Applications; 28. Oxford University Press, Oxford, 2004. ISBN 0-19-852817-5. | pl |
| dc.description.references | Ulrich Knauer. Algebraic graph theory: morphisms, monoids and matrices, volume 41 of De Gruyter Studies in Mathematics. Walter de Gruyter, 2011. | pl |
| dc.description.references | Sebastian Koch. About graph mappings. Formalized Mathematics, 27(3):261–301, 2019. doi:10.2478/forma-2019-0024. | pl |
| dc.description.references | Gilbert Lee and Piotr Rudnicki. Alternative graph structures. Formalized Mathematics, 13(2):235–252, 2005. | pl |
| dc.description.references | Robin James Wilson. Introduction to Graph Theory. Oliver & Boyd, Edinburgh, 1972. ISBN 0-05-002534-1. | pl |
| dc.identifier.eissn | 1898-9934 | - |
| dc.description.volume | 27 | - |
| dc.description.issue | 3 | - |
| dc.description.firstpage | 303 | pl |
| dc.description.lastpage | 313 | pl |
| dc.identifier.citation2 | Formalized Mathematics | pl |
| dc.identifier.orcid | 0000-0002-9628-177X | - |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2019, Volume 27, Issue 3 | |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| forma_2019_27_3_0025.pdf | 253,73 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
