FRINK Linked Data Fragments server

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

• W4306153609 endingPage "573" @default.
• W4306153609 startingPage "542" @default.
• W4306153609 abstract "Abstract By using algebraic structures in a presheaf category over finite sets, following Fiore, Plotkin and Turi, we develop sound and complete models of second-order rewriting systems called second-order computation systems (CSs). Restricting the algebraic structures to those equipped with well-founded relations, we obtain a complete characterisation of terminating CSs. We also extend the characterisation to rewriting on meta-terms using the notion of $Sigma$ -monoid." @default.
• W4306153609 created "2022-10-14" @default.
• W4306153609 creator A5081721784 @default.
• W4306153609 date "2022-04-01" @default.
• W4306153609 modified "2023-09-27" @default.
• W4306153609 title "Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding" @default.
• W4306153609 cites W1488638832 @default.
• W4306153609 cites W1503837183 @default.
• W4306153609 cites W1567516333 @default.
• W4306153609 cites W1569939672 @default.
• W4306153609 cites W1588934256 @default.
• W4306153609 cites W1589216209 @default.
• W4306153609 cites W1590612822 @default.
• W4306153609 cites W1594401452 @default.
• W4306153609 cites W1714491813 @default.
• W4306153609 cites W1777144923 @default.
• W4306153609 cites W1791042548 @default.
• W4306153609 cites W1975808446 @default.
• W4306153609 cites W1988450940 @default.
• W4306153609 cites W2011197769 @default.
• W4306153609 cites W2011273500 @default.
• W4306153609 cites W2012474994 @default.
• W4306153609 cites W2039203973 @default.
• W4306153609 cites W2041799549 @default.
• W4306153609 cites W2056024754 @default.
• W4306153609 cites W2075352622 @default.
• W4306153609 cites W2101032471 @default.
• W4306153609 cites W2109480605 @default.
• W4306153609 cites W2120713972 @default.
• W4306153609 cites W2123887510 @default.
• W4306153609 cites W2136928151 @default.
• W4306153609 cites W2162899660 @default.
• W4306153609 cites W217388287 @default.
• W4306153609 cites W2568721247 @default.
• W4306153609 cites W2753530402 @default.
• W4306153609 cites W2980888968 @default.
• W4306153609 cites W2996342526 @default.
• W4306153609 cites W3032462436 @default.
• W4306153609 cites W4237428230 @default.
• W4306153609 cites W4242910361 @default.
• W4306153609 doi "https://doi.org/10.1017/s0960129522000287" @default.
• W4306153609 hasPublicationYear "2022" @default.
• W4306153609 type Work @default.
• W4306153609 citedByCount "0" @default.
• W4306153609 crossrefType "journal-article" @default.
• W4306153609 hasAuthorship W4306153609A5081721784 @default.
• W4306153609 hasConcept C10138342 @default.
• W4306153609 hasConcept C118615104 @default.
• W4306153609 hasConcept C134306372 @default.
• W4306153609 hasConcept C136119220 @default.
• W4306153609 hasConcept C154690210 @default.
• W4306153609 hasConcept C154945302 @default.
• W4306153609 hasConcept C162324750 @default.
• W4306153609 hasConcept C182306322 @default.
• W4306153609 hasConcept C184337299 @default.
• W4306153609 hasConcept C199360897 @default.
• W4306153609 hasConcept C202444582 @default.
• W4306153609 hasConcept C206901836 @default.
• W4306153609 hasConcept C2779729104 @default.
• W4306153609 hasConcept C33923547 @default.
• W4306153609 hasConcept C41008148 @default.
• W4306153609 hasConcept C60048249 @default.
• W4306153609 hasConcept C77906462 @default.
• W4306153609 hasConcept C9376300 @default.
• W4306153609 hasConceptScore W4306153609C10138342 @default.
• W4306153609 hasConceptScore W4306153609C118615104 @default.
• W4306153609 hasConceptScore W4306153609C134306372 @default.
• W4306153609 hasConceptScore W4306153609C136119220 @default.
• W4306153609 hasConceptScore W4306153609C154690210 @default.
• W4306153609 hasConceptScore W4306153609C154945302 @default.
• W4306153609 hasConceptScore W4306153609C162324750 @default.
• W4306153609 hasConceptScore W4306153609C182306322 @default.
• W4306153609 hasConceptScore W4306153609C184337299 @default.
• W4306153609 hasConceptScore W4306153609C199360897 @default.
• W4306153609 hasConceptScore W4306153609C202444582 @default.
• W4306153609 hasConceptScore W4306153609C206901836 @default.
• W4306153609 hasConceptScore W4306153609C2779729104 @default.
• W4306153609 hasConceptScore W4306153609C33923547 @default.
• W4306153609 hasConceptScore W4306153609C41008148 @default.
• W4306153609 hasConceptScore W4306153609C60048249 @default.
• W4306153609 hasConceptScore W4306153609C77906462 @default.
• W4306153609 hasConceptScore W4306153609C9376300 @default.
• W4306153609 hasIssue "4" @default.
• W4306153609 hasLocation W43061536091 @default.
• W4306153609 hasOpenAccess W4306153609 @default.
• W4306153609 hasPrimaryLocation W43061536091 @default.
• W4306153609 hasRelatedWork W1535840459 @default.
• W4306153609 hasRelatedWork W1545848507 @default.
• W4306153609 hasRelatedWork W1567375402 @default.
• W4306153609 hasRelatedWork W1569914145 @default.
• W4306153609 hasRelatedWork W1590378845 @default.
• W4306153609 hasRelatedWork W2003970329 @default.
• W4306153609 hasRelatedWork W2121691985 @default.
• W4306153609 hasRelatedWork W2734938181 @default.
• W4306153609 hasRelatedWork W2894322606 @default.
• W4306153609 hasRelatedWork W4306153609 @default.
• W4306153609 hasVolume "32" @default.
• W4306153609 isParatext "false" @default.

• next