Matches in SemOpenAlex for { <https://semopenalex.org/work/W2084235865> ?p ?o ?g. }
- W2084235865 endingPage "14" @default.
- W2084235865 startingPage "1" @default.
- W2084235865 abstract "We present a nontrivial axiomatization for the equational theory of binoid languages, the subsets of a free binoid. In doing so, we prove that a conjecture given in our previous paper was true: the identical laws of ordinary (string) languages, written separately using ‘horizontal’ and ‘vertical’ operation symbols form a required complete system of axioms." @default.
- W2084235865 created "2016-06-24" @default.
- W2084235865 creator A5043260756 @default.
- W2084235865 date "2007-03-01" @default.
- W2084235865 modified "2023-09-29" @default.
- W2084235865 title "Axiomatizing the identities of binoid languages" @default.
- W2084235865 cites W137476671 @default.
- W2084235865 cites W1486467946 @default.
- W2084235865 cites W1515231446 @default.
- W2084235865 cites W1570949334 @default.
- W2084235865 cites W1584587517 @default.
- W2084235865 cites W1605242532 @default.
- W2084235865 cites W1776130705 @default.
- W2084235865 cites W1870847788 @default.
- W2084235865 cites W1977595510 @default.
- W2084235865 cites W1989683733 @default.
- W2084235865 cites W2002425265 @default.
- W2084235865 cites W2008967744 @default.
- W2084235865 cites W2043871010 @default.
- W2084235865 cites W2045594629 @default.
- W2084235865 cites W2060285730 @default.
- W2084235865 cites W2064845612 @default.
- W2084235865 cites W2085767100 @default.
- W2084235865 cites W2107260743 @default.
- W2084235865 cites W2163152086 @default.
- W2084235865 cites W2164628380 @default.
- W2084235865 cites W3017935176 @default.
- W2084235865 cites W84232747 @default.
- W2084235865 doi "https://doi.org/10.1016/j.tcs.2006.11.028" @default.
- W2084235865 hasPublicationYear "2007" @default.
- W2084235865 type Work @default.
- W2084235865 sameAs 2084235865 @default.
- W2084235865 citedByCount "2" @default.
- W2084235865 crossrefType "journal-article" @default.
- W2084235865 hasAuthorship W2084235865A5043260756 @default.
- W2084235865 hasBestOaLocation W20842358651 @default.
- W2084235865 hasConcept C11164408 @default.
- W2084235865 hasConcept C11413529 @default.
- W2084235865 hasConcept C118615104 @default.
- W2084235865 hasConcept C136119220 @default.
- W2084235865 hasConcept C146072743 @default.
- W2084235865 hasConcept C154564781 @default.
- W2084235865 hasConcept C154690210 @default.
- W2084235865 hasConcept C157486923 @default.
- W2084235865 hasConcept C167729594 @default.
- W2084235865 hasConcept C199163288 @default.
- W2084235865 hasConcept C199343813 @default.
- W2084235865 hasConcept C199360897 @default.
- W2084235865 hasConcept C202444582 @default.
- W2084235865 hasConcept C2524010 @default.
- W2084235865 hasConcept C2777686260 @default.
- W2084235865 hasConcept C2780990831 @default.
- W2084235865 hasConcept C33923547 @default.
- W2084235865 hasConcept C34165917 @default.
- W2084235865 hasConcept C37914503 @default.
- W2084235865 hasConcept C41008148 @default.
- W2084235865 hasConcept C50033165 @default.
- W2084235865 hasConcept C71924100 @default.
- W2084235865 hasConceptScore W2084235865C11164408 @default.
- W2084235865 hasConceptScore W2084235865C11413529 @default.
- W2084235865 hasConceptScore W2084235865C118615104 @default.
- W2084235865 hasConceptScore W2084235865C136119220 @default.
- W2084235865 hasConceptScore W2084235865C146072743 @default.
- W2084235865 hasConceptScore W2084235865C154564781 @default.
- W2084235865 hasConceptScore W2084235865C154690210 @default.
- W2084235865 hasConceptScore W2084235865C157486923 @default.
- W2084235865 hasConceptScore W2084235865C167729594 @default.
- W2084235865 hasConceptScore W2084235865C199163288 @default.
- W2084235865 hasConceptScore W2084235865C199343813 @default.
- W2084235865 hasConceptScore W2084235865C199360897 @default.
- W2084235865 hasConceptScore W2084235865C202444582 @default.
- W2084235865 hasConceptScore W2084235865C2524010 @default.
- W2084235865 hasConceptScore W2084235865C2777686260 @default.
- W2084235865 hasConceptScore W2084235865C2780990831 @default.
- W2084235865 hasConceptScore W2084235865C33923547 @default.
- W2084235865 hasConceptScore W2084235865C34165917 @default.
- W2084235865 hasConceptScore W2084235865C37914503 @default.
- W2084235865 hasConceptScore W2084235865C41008148 @default.
- W2084235865 hasConceptScore W2084235865C50033165 @default.
- W2084235865 hasConceptScore W2084235865C71924100 @default.
- W2084235865 hasIssue "1" @default.
- W2084235865 hasLocation W20842358651 @default.
- W2084235865 hasOpenAccess W2084235865 @default.
- W2084235865 hasPrimaryLocation W20842358651 @default.
- W2084235865 hasRelatedWork W1552824185 @default.
- W2084235865 hasRelatedWork W1884608920 @default.
- W2084235865 hasRelatedWork W2005086376 @default.
- W2084235865 hasRelatedWork W2074195812 @default.
- W2084235865 hasRelatedWork W2084235865 @default.
- W2084235865 hasRelatedWork W2141989433 @default.
- W2084235865 hasRelatedWork W2148351184 @default.
- W2084235865 hasRelatedWork W2606009334 @default.
- W2084235865 hasRelatedWork W2964292522 @default.
- W2084235865 hasRelatedWork W3106181326 @default.
- W2084235865 hasVolume "372" @default.
- W2084235865 isParatext "false" @default.
- W2084235865 isRetracted "false" @default.
- W2084235865 magId "2084235865" @default.