FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W96262354> ?p ?o ?g. }

• W96262354 abstract "Classical single-sorted algebraic signatures are defined as sets of operation symbols together with arities. In their many-sorted variant they also list sort symbols and use sort-sequences as operation types. An operation type not only indicates sorts of parameters, but also constitutes dependency between an operation and a set of sorts. In the paper we define algebraic signatures with dependency relation on their symbols. In modal logics theory, structures like 〈W,R〉, where W is a set and R⊆W×W is a transitive relation, are called transitive Kripke frames [Seg70]. Part of our result is a definition of a construction of non-empty products in the category of transitive Kripke frames and p-morphisms. In general not all such products exist, but when the class of relations is restricted to bounded strict orders, the category lacks only the final object to be finitely (co)complete. Finally we define a category AlgSigDep of signatures with dependencies and we prove that it also has all finite (co)limits, with the exception of the final object." @default.
• W96262354 created "2016-06-24" @default.
• W96262354 creator A5029519340 @default.
• W96262354 creator A5081039381 @default.
• W96262354 date "2012-01-01" @default.
• W96262354 modified "2023-09-23" @default.
• W96262354 title "Algebraic Signatures Enriched by Dependency Structure" @default.
• W96262354 cites W1799309370 @default.
• W96262354 cites W2000825654 @default.
• W96262354 cites W2005080671 @default.
• W96262354 cites W2043855341 @default.
• W96262354 cites W2062871376 @default.
• W96262354 doi "https://doi.org/10.1007/978-3-642-28412-0_15" @default.
• W96262354 hasPublicationYear "2012" @default.
• W96262354 type Work @default.
• W96262354 sameAs 96262354 @default.
• W96262354 citedByCount "2" @default.
• W96262354 countsByYear W962623542014 @default.
• W96262354 countsByYear W962623542015 @default.
• W96262354 crossrefType "book-chapter" @default.
• W96262354 hasAuthorship W96262354A5029519340 @default.
• W96262354 hasAuthorship W96262354A5081039381 @default.
• W96262354 hasBestOaLocation W962623542 @default.
• W96262354 hasConcept C114614502 @default.
• W96262354 hasConcept C118615104 @default.
• W96262354 hasConcept C128896722 @default.
• W96262354 hasConcept C134306372 @default.
• W96262354 hasConcept C136119220 @default.
• W96262354 hasConcept C137212723 @default.
• W96262354 hasConcept C154945302 @default.
• W96262354 hasConcept C177264268 @default.
• W96262354 hasConcept C182419690 @default.
• W96262354 hasConcept C185592680 @default.
• W96262354 hasConcept C188027245 @default.
• W96262354 hasConcept C191399111 @default.
• W96262354 hasConcept C19768560 @default.
• W96262354 hasConcept C199360897 @default.
• W96262354 hasConcept C202444582 @default.
• W96262354 hasConcept C23123220 @default.
• W96262354 hasConcept C27508121 @default.
• W96262354 hasConcept C2777212361 @default.
• W96262354 hasConcept C2779782106 @default.
• W96262354 hasConcept C2781238097 @default.
• W96262354 hasConcept C33923547 @default.
• W96262354 hasConcept C34388435 @default.
• W96262354 hasConcept C41008148 @default.
• W96262354 hasConcept C65180967 @default.
• W96262354 hasConcept C71139939 @default.
• W96262354 hasConcept C80444323 @default.
• W96262354 hasConcept C88548561 @default.
• W96262354 hasConcept C9376300 @default.
• W96262354 hasConceptScore W96262354C114614502 @default.
• W96262354 hasConceptScore W96262354C118615104 @default.
• W96262354 hasConceptScore W96262354C128896722 @default.
• W96262354 hasConceptScore W96262354C134306372 @default.
• W96262354 hasConceptScore W96262354C136119220 @default.
• W96262354 hasConceptScore W96262354C137212723 @default.
• W96262354 hasConceptScore W96262354C154945302 @default.
• W96262354 hasConceptScore W96262354C177264268 @default.
• W96262354 hasConceptScore W96262354C182419690 @default.
• W96262354 hasConceptScore W96262354C185592680 @default.
• W96262354 hasConceptScore W96262354C188027245 @default.
• W96262354 hasConceptScore W96262354C191399111 @default.
• W96262354 hasConceptScore W96262354C19768560 @default.
• W96262354 hasConceptScore W96262354C199360897 @default.
• W96262354 hasConceptScore W96262354C202444582 @default.
• W96262354 hasConceptScore W96262354C23123220 @default.
• W96262354 hasConceptScore W96262354C27508121 @default.
• W96262354 hasConceptScore W96262354C2777212361 @default.
• W96262354 hasConceptScore W96262354C2779782106 @default.
• W96262354 hasConceptScore W96262354C2781238097 @default.
• W96262354 hasConceptScore W96262354C33923547 @default.
• W96262354 hasConceptScore W96262354C34388435 @default.
• W96262354 hasConceptScore W96262354C41008148 @default.
• W96262354 hasConceptScore W96262354C65180967 @default.
• W96262354 hasConceptScore W96262354C71139939 @default.
• W96262354 hasConceptScore W96262354C80444323 @default.
• W96262354 hasConceptScore W96262354C88548561 @default.
• W96262354 hasConceptScore W96262354C9376300 @default.
• W96262354 hasLocation W962623541 @default.
• W96262354 hasLocation W962623542 @default.
• W96262354 hasOpenAccess W96262354 @default.
• W96262354 hasPrimaryLocation W962623541 @default.
• W96262354 hasRelatedWork W1528529391 @default.
• W96262354 hasRelatedWork W1558890023 @default.
• W96262354 hasRelatedWork W1576245638 @default.
• W96262354 hasRelatedWork W1589567564 @default.
• W96262354 hasRelatedWork W1609831664 @default.
• W96262354 hasRelatedWork W1796835294 @default.
• W96262354 hasRelatedWork W1989110026 @default.
• W96262354 hasRelatedWork W2003587861 @default.
• W96262354 hasRelatedWork W2062024564 @default.
• W96262354 hasRelatedWork W2085923075 @default.
• W96262354 hasRelatedWork W2166362592 @default.
• W96262354 hasRelatedWork W2183347322 @default.
• W96262354 hasRelatedWork W2285305001 @default.
• W96262354 hasRelatedWork W2296600226 @default.
• W96262354 hasRelatedWork W2558073738 @default.
• W96262354 hasRelatedWork W2801277931 @default.
• W96262354 hasRelatedWork W55323366 @default.

• next