Matches in SemOpenAlex for { <https://semopenalex.org/work/W191673520> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W191673520 abstract "In 1993 Mati Pentus proved a criterion of conjoinability for the Lambek calculus and multiplicative cyclic linear logic. In 2011 Alexey Sorokin showed that any pair of conjoinable types in the Lambek calculus has the join type of quadratic length with respect to the length of the types in the pair. We prove that the lower bound on the length of joins in the Lambek calculus and multiplicative linear logic is also quadratic." @default.
- W191673520 created "2016-06-24" @default.
- W191673520 creator A5017553001 @default.
- W191673520 date "2013-01-01" @default.
- W191673520 modified "2023-09-27" @default.
- W191673520 title "Lower and Upper Bounds for the Length of Joins in the Lambek Calculus" @default.
- W191673520 cites W196280186 @default.
- W191673520 cites W1975812803 @default.
- W191673520 cites W2034944630 @default.
- W191673520 cites W2048656373 @default.
- W191673520 cites W2074070481 @default.
- W191673520 cites W2078432227 @default.
- W191673520 cites W2135783305 @default.
- W191673520 cites W2911865844 @default.
- W191673520 cites W4242125186 @default.
- W191673520 doi "https://doi.org/10.1007/978-3-642-38536-0_13" @default.
- W191673520 hasPublicationYear "2013" @default.
- W191673520 type Work @default.
- W191673520 sameAs 191673520 @default.
- W191673520 citedByCount "0" @default.
- W191673520 crossrefType "book-chapter" @default.
- W191673520 hasAuthorship W191673520A5017553001 @default.
- W191673520 hasConcept C114614502 @default.
- W191673520 hasConcept C118615104 @default.
- W191673520 hasConcept C129844170 @default.
- W191673520 hasConcept C134306372 @default.
- W191673520 hasConcept C18903297 @default.
- W191673520 hasConcept C199343813 @default.
- W191673520 hasConcept C199360897 @default.
- W191673520 hasConcept C2524010 @default.
- W191673520 hasConcept C2776124973 @default.
- W191673520 hasConcept C2777299769 @default.
- W191673520 hasConcept C2777686260 @default.
- W191673520 hasConcept C2778692605 @default.
- W191673520 hasConcept C28077239 @default.
- W191673520 hasConcept C33923547 @default.
- W191673520 hasConcept C41008148 @default.
- W191673520 hasConcept C42747912 @default.
- W191673520 hasConcept C62073222 @default.
- W191673520 hasConcept C71924100 @default.
- W191673520 hasConcept C77553402 @default.
- W191673520 hasConcept C86803240 @default.
- W191673520 hasConceptScore W191673520C114614502 @default.
- W191673520 hasConceptScore W191673520C118615104 @default.
- W191673520 hasConceptScore W191673520C129844170 @default.
- W191673520 hasConceptScore W191673520C134306372 @default.
- W191673520 hasConceptScore W191673520C18903297 @default.
- W191673520 hasConceptScore W191673520C199343813 @default.
- W191673520 hasConceptScore W191673520C199360897 @default.
- W191673520 hasConceptScore W191673520C2524010 @default.
- W191673520 hasConceptScore W191673520C2776124973 @default.
- W191673520 hasConceptScore W191673520C2777299769 @default.
- W191673520 hasConceptScore W191673520C2777686260 @default.
- W191673520 hasConceptScore W191673520C2778692605 @default.
- W191673520 hasConceptScore W191673520C28077239 @default.
- W191673520 hasConceptScore W191673520C33923547 @default.
- W191673520 hasConceptScore W191673520C41008148 @default.
- W191673520 hasConceptScore W191673520C42747912 @default.
- W191673520 hasConceptScore W191673520C62073222 @default.
- W191673520 hasConceptScore W191673520C71924100 @default.
- W191673520 hasConceptScore W191673520C77553402 @default.
- W191673520 hasConceptScore W191673520C86803240 @default.
- W191673520 hasLocation W1916735201 @default.
- W191673520 hasOpenAccess W191673520 @default.
- W191673520 hasPrimaryLocation W1916735201 @default.
- W191673520 hasRelatedWork W1491951931 @default.
- W191673520 hasRelatedWork W1502438709 @default.
- W191673520 hasRelatedWork W1508809299 @default.
- W191673520 hasRelatedWork W155046408 @default.
- W191673520 hasRelatedWork W1583920524 @default.
- W191673520 hasRelatedWork W1963748674 @default.
- W191673520 hasRelatedWork W1974240609 @default.
- W191673520 hasRelatedWork W2034944630 @default.
- W191673520 hasRelatedWork W2086902772 @default.
- W191673520 hasRelatedWork W2124344212 @default.
- W191673520 hasRelatedWork W2134600894 @default.
- W191673520 hasRelatedWork W2154981679 @default.
- W191673520 hasRelatedWork W2201286794 @default.
- W191673520 hasRelatedWork W220669002 @default.
- W191673520 hasRelatedWork W2579396210 @default.
- W191673520 hasRelatedWork W2949746505 @default.
- W191673520 hasRelatedWork W2951877874 @default.
- W191673520 hasRelatedWork W2952402778 @default.
- W191673520 hasRelatedWork W3138992896 @default.
- W191673520 hasRelatedWork W2164547694 @default.
- W191673520 isParatext "false" @default.
- W191673520 isRetracted "false" @default.
- W191673520 magId "191673520" @default.
- W191673520 workType "book-chapter" @default.