FRINK Linked Data Fragments server

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

• W2034621723 endingPage "175" @default.
• W2034621723 startingPage "113" @default.
• W2034621723 abstract "We apply the theory of analytic functors to two topics related to theoretical computer science. One is a mathematical foundation of certain syntactic well-quasi-orders and well-orders appearing in graph theory, the theory of term rewriting systems, and proof theory. The other is a new verification of the Lagrange–Good inversion formula using several ideas appearing in semantics of lambda calculi, especially the relation between categorical traces and fixpoint operators." @default.
• W2034621723 created "2016-06-24" @default.
• W2034621723 creator A5049269380 @default.
• W2034621723 date "2002-02-01" @default.
• W2034621723 modified "2023-10-18" @default.
• W2034621723 title "Two applications of analytic functors" @default.
• W2034621723 cites W1508570312 @default.
• W2034621723 cites W1585970305 @default.
• W2034621723 cites W1605626978 @default.
• W2034621723 cites W1973467451 @default.
• W2034621723 cites W1980969069 @default.
• W2034621723 cites W1994073383 @default.
• W2034621723 cites W2002853789 @default.
• W2034621723 cites W2004553747 @default.
• W2034621723 cites W2007270285 @default.
• W2034621723 cites W2014030742 @default.
• W2034621723 cites W2022595765 @default.
• W2034621723 cites W2036740975 @default.
• W2034621723 cites W2039565992 @default.
• W2034621723 cites W2043166308 @default.
• W2034621723 cites W2045924438 @default.
• W2034621723 cites W2050396985 @default.
• W2034621723 cites W2054775758 @default.
• W2034621723 cites W2055351834 @default.
• W2034621723 cites W2061587711 @default.
• W2034621723 cites W2075746519 @default.
• W2034621723 cites W2076508310 @default.
• W2034621723 cites W2077219408 @default.
• W2034621723 cites W2081620669 @default.
• W2034621723 cites W2086747974 @default.
• W2034621723 cites W2102357532 @default.
• W2034621723 cites W2104716147 @default.
• W2034621723 cites W2163841074 @default.
• W2034621723 cites W2914042794 @default.
• W2034621723 cites W4243544101 @default.
• W2034621723 cites W4245863089 @default.
• W2034621723 doi "https://doi.org/10.1016/s0304-3975(00)00349-2" @default.
• W2034621723 hasPublicationYear "2002" @default.
• W2034621723 type Work @default.
• W2034621723 sameAs 2034621723 @default.
• W2034621723 citedByCount "47" @default.
• W2034621723 countsByYear W20346217232012 @default.
• W2034621723 countsByYear W20346217232013 @default.
• W2034621723 countsByYear W20346217232014 @default.
• W2034621723 countsByYear W20346217232015 @default.
• W2034621723 countsByYear W20346217232016 @default.
• W2034621723 countsByYear W20346217232017 @default.
• W2034621723 countsByYear W20346217232018 @default.
• W2034621723 countsByYear W20346217232020 @default.
• W2034621723 countsByYear W20346217232021 @default.
• W2034621723 countsByYear W20346217232022 @default.
• W2034621723 countsByYear W20346217232023 @default.
• W2034621723 crossrefType "journal-article" @default.
• W2034621723 hasAuthorship W2034621723A5049269380 @default.
• W2034621723 hasConcept C105795698 @default.
• W2034621723 hasConcept C114614502 @default.
• W2034621723 hasConcept C118615104 @default.
• W2034621723 hasConcept C121332964 @default.
• W2034621723 hasConcept C136119220 @default.
• W2034621723 hasConcept C154690210 @default.
• W2034621723 hasConcept C156772000 @default.
• W2034621723 hasConcept C199343813 @default.
• W2034621723 hasConcept C199360897 @default.
• W2034621723 hasConcept C202444582 @default.
• W2034621723 hasConcept C25343380 @default.
• W2034621723 hasConcept C2777686260 @default.
• W2034621723 hasConcept C33923547 @default.
• W2034621723 hasConcept C41008148 @default.
• W2034621723 hasConcept C5274069 @default.
• W2034621723 hasConcept C54884031 @default.
• W2034621723 hasConcept C61797465 @default.
• W2034621723 hasConcept C62520636 @default.
• W2034621723 hasConcept C71924100 @default.
• W2034621723 hasConcept C77088390 @default.
• W2034621723 hasConcept C88230418 @default.
• W2034621723 hasConceptScore W2034621723C105795698 @default.
• W2034621723 hasConceptScore W2034621723C114614502 @default.
• W2034621723 hasConceptScore W2034621723C118615104 @default.
• W2034621723 hasConceptScore W2034621723C121332964 @default.
• W2034621723 hasConceptScore W2034621723C136119220 @default.
• W2034621723 hasConceptScore W2034621723C154690210 @default.
• W2034621723 hasConceptScore W2034621723C156772000 @default.
• W2034621723 hasConceptScore W2034621723C199343813 @default.
• W2034621723 hasConceptScore W2034621723C199360897 @default.
• W2034621723 hasConceptScore W2034621723C202444582 @default.
• W2034621723 hasConceptScore W2034621723C25343380 @default.
• W2034621723 hasConceptScore W2034621723C2777686260 @default.
• W2034621723 hasConceptScore W2034621723C33923547 @default.
• W2034621723 hasConceptScore W2034621723C41008148 @default.
• W2034621723 hasConceptScore W2034621723C5274069 @default.
• W2034621723 hasConceptScore W2034621723C54884031 @default.
• W2034621723 hasConceptScore W2034621723C61797465 @default.
• W2034621723 hasConceptScore W2034621723C62520636 @default.
• W2034621723 hasConceptScore W2034621723C71924100 @default.
• W2034621723 hasConceptScore W2034621723C77088390 @default.
• W2034621723 hasConceptScore W2034621723C88230418 @default.
• W2034621723 hasIssue "1-2" @default.
• W2034621723 hasLocation W20346217231 @default.

• next