Matches in SemOpenAlex for { <https://semopenalex.org/work/W178603210> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W178603210 endingPage "254" @default.
- W178603210 startingPage "245" @default.
- W178603210 abstract "According to (Benson, 1970), a syntax is a category of strings and derivations (modulo similarity) between them. In this paper the semantic domain is an elementary topes. Thus, an interpretation of a syntax is a cofunctor taking strigs to products and derivations to morphisms. It is proved the existence of a free x – category U such that every syntax is a full subcategory of U, which can be determined recursively. Every interpretation of a syntax is the restriction of the interpretation of U." @default.
- W178603210 created "2016-06-24" @default.
- W178603210 creator A5033077581 @default.
- W178603210 creator A5079186295 @default.
- W178603210 date "1981-04-01" @default.
- W178603210 modified "2023-10-01" @default.
- W178603210 title "Global Syntax and Semantics for Recursively Enumerable Languages" @default.
- W178603210 doi "https://doi.org/10.3233/fi-1981-4203" @default.
- W178603210 hasPublicationYear "1981" @default.
- W178603210 type Work @default.
- W178603210 sameAs 178603210 @default.
- W178603210 citedByCount "6" @default.
- W178603210 crossrefType "journal-article" @default.
- W178603210 hasAuthorship W178603210A5033077581 @default.
- W178603210 hasAuthorship W178603210A5079186295 @default.
- W178603210 hasConcept C114408938 @default.
- W178603210 hasConcept C118615104 @default.
- W178603210 hasConcept C137212723 @default.
- W178603210 hasConcept C138885662 @default.
- W178603210 hasConcept C184337299 @default.
- W178603210 hasConcept C199360897 @default.
- W178603210 hasConcept C203702658 @default.
- W178603210 hasConcept C204321447 @default.
- W178603210 hasConcept C2780654840 @default.
- W178603210 hasConcept C33923547 @default.
- W178603210 hasConcept C41008148 @default.
- W178603210 hasConcept C41895202 @default.
- W178603210 hasConcept C527412718 @default.
- W178603210 hasConcept C58646249 @default.
- W178603210 hasConcept C60048249 @default.
- W178603210 hasConceptScore W178603210C114408938 @default.
- W178603210 hasConceptScore W178603210C118615104 @default.
- W178603210 hasConceptScore W178603210C137212723 @default.
- W178603210 hasConceptScore W178603210C138885662 @default.
- W178603210 hasConceptScore W178603210C184337299 @default.
- W178603210 hasConceptScore W178603210C199360897 @default.
- W178603210 hasConceptScore W178603210C203702658 @default.
- W178603210 hasConceptScore W178603210C204321447 @default.
- W178603210 hasConceptScore W178603210C2780654840 @default.
- W178603210 hasConceptScore W178603210C33923547 @default.
- W178603210 hasConceptScore W178603210C41008148 @default.
- W178603210 hasConceptScore W178603210C41895202 @default.
- W178603210 hasConceptScore W178603210C527412718 @default.
- W178603210 hasConceptScore W178603210C58646249 @default.
- W178603210 hasConceptScore W178603210C60048249 @default.
- W178603210 hasIssue "2" @default.
- W178603210 hasLocation W1786032101 @default.
- W178603210 hasOpenAccess W178603210 @default.
- W178603210 hasPrimaryLocation W1786032101 @default.
- W178603210 hasRelatedWork W1527115930 @default.
- W178603210 hasRelatedWork W1782526664 @default.
- W178603210 hasRelatedWork W2017163896 @default.
- W178603210 hasRelatedWork W2203405714 @default.
- W178603210 hasRelatedWork W2390302156 @default.
- W178603210 hasRelatedWork W2514398768 @default.
- W178603210 hasRelatedWork W2514850971 @default.
- W178603210 hasRelatedWork W2583543438 @default.
- W178603210 hasRelatedWork W4246531319 @default.
- W178603210 hasRelatedWork W4293743928 @default.
- W178603210 hasVolume "4" @default.
- W178603210 isParatext "false" @default.
- W178603210 isRetracted "false" @default.
- W178603210 magId "178603210" @default.
- W178603210 workType "article" @default.