Matches in SemOpenAlex for { <https://semopenalex.org/work/W133732032> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W133732032 abstract "Maximal planar graphs with vertex resp. edge colouring are naturally casted as (deceiptively similar) institutions. One then tries to embody Tait's equivalence algorithms into morphisms between them, and is lead to a partial redesign of those institutions. This paper aims at elucidating the pragmatic questions which arise in this case study, which also showcases the use of relational concepts and notations in the design of the subject institutions, that is driven by the design of an isomorphism between them." @default.
- W133732032 created "2016-06-24" @default.
- W133732032 creator A5039796516 @default.
- W133732032 date "2003-01-01" @default.
- W133732032 modified "2023-09-26" @default.
- W133732032 title "Morphism-driven design of graph colouring institutions ?" @default.
- W133732032 cites W1524101192 @default.
- W133732032 cites W1566410171 @default.
- W133732032 cites W1656795039 @default.
- W133732032 cites W1963649810 @default.
- W133732032 cites W2010883554 @default.
- W133732032 cites W2120713972 @default.
- W133732032 cites W2131433460 @default.
- W133732032 cites W2148360835 @default.
- W133732032 cites W2314483652 @default.
- W133732032 cites W2327122380 @default.
- W133732032 cites W2914821813 @default.
- W133732032 hasPublicationYear "2003" @default.
- W133732032 type Work @default.
- W133732032 sameAs 133732032 @default.
- W133732032 citedByCount "0" @default.
- W133732032 crossrefType "journal-article" @default.
- W133732032 hasAuthorship W133732032A5039796516 @default.
- W133732032 hasConcept C114614502 @default.
- W133732032 hasConcept C115624301 @default.
- W133732032 hasConcept C118615104 @default.
- W133732032 hasConcept C132525143 @default.
- W133732032 hasConcept C137212723 @default.
- W133732032 hasConcept C185592680 @default.
- W133732032 hasConcept C203436722 @default.
- W133732032 hasConcept C203776342 @default.
- W133732032 hasConcept C2780069185 @default.
- W133732032 hasConcept C33923547 @default.
- W133732032 hasConcept C41008148 @default.
- W133732032 hasConcept C45357846 @default.
- W133732032 hasConcept C61665672 @default.
- W133732032 hasConcept C8010536 @default.
- W133732032 hasConcept C80444323 @default.
- W133732032 hasConcept C80899671 @default.
- W133732032 hasConcept C94375191 @default.
- W133732032 hasConceptScore W133732032C114614502 @default.
- W133732032 hasConceptScore W133732032C115624301 @default.
- W133732032 hasConceptScore W133732032C118615104 @default.
- W133732032 hasConceptScore W133732032C132525143 @default.
- W133732032 hasConceptScore W133732032C137212723 @default.
- W133732032 hasConceptScore W133732032C185592680 @default.
- W133732032 hasConceptScore W133732032C203436722 @default.
- W133732032 hasConceptScore W133732032C203776342 @default.
- W133732032 hasConceptScore W133732032C2780069185 @default.
- W133732032 hasConceptScore W133732032C33923547 @default.
- W133732032 hasConceptScore W133732032C41008148 @default.
- W133732032 hasConceptScore W133732032C45357846 @default.
- W133732032 hasConceptScore W133732032C61665672 @default.
- W133732032 hasConceptScore W133732032C8010536 @default.
- W133732032 hasConceptScore W133732032C80444323 @default.
- W133732032 hasConceptScore W133732032C80899671 @default.
- W133732032 hasConceptScore W133732032C94375191 @default.
- W133732032 hasLocation W1337320321 @default.
- W133732032 hasOpenAccess W133732032 @default.
- W133732032 hasPrimaryLocation W1337320321 @default.
- W133732032 hasRelatedWork W1496459411 @default.
- W133732032 hasRelatedWork W1513248328 @default.
- W133732032 hasRelatedWork W1513962572 @default.
- W133732032 hasRelatedWork W1590770767 @default.
- W133732032 hasRelatedWork W1989885242 @default.
- W133732032 hasRelatedWork W1996465327 @default.
- W133732032 hasRelatedWork W2052271732 @default.
- W133732032 hasRelatedWork W2058462653 @default.
- W133732032 hasRelatedWork W2127303938 @default.
- W133732032 hasRelatedWork W2135513198 @default.
- W133732032 hasRelatedWork W2278223742 @default.
- W133732032 hasRelatedWork W2288843953 @default.
- W133732032 hasRelatedWork W2309520893 @default.
- W133732032 hasRelatedWork W2366079443 @default.
- W133732032 hasRelatedWork W2466237742 @default.
- W133732032 hasRelatedWork W2505430822 @default.
- W133732032 hasRelatedWork W2768667206 @default.
- W133732032 hasRelatedWork W2990141699 @default.
- W133732032 hasRelatedWork W3175737004 @default.
- W133732032 hasRelatedWork W1589992348 @default.
- W133732032 isParatext "false" @default.
- W133732032 isRetracted "false" @default.
- W133732032 magId "133732032" @default.
- W133732032 workType "article" @default.