Matches in SemOpenAlex for { <https://semopenalex.org/work/W2725289179> ?p ?o ?g. }
Showing items 1 to 62 of
62
with 100 items per page.
- W2725289179 abstract "We present an on-going work that aims at providing tactics for rewriting modulo associativity and commutativity in Coq." @default.
- W2725289179 created "2017-07-14" @default.
- W2725289179 creator A5047022412 @default.
- W2725289179 creator A5084356882 @default.
- W2725289179 date "2010-05-01" @default.
- W2725289179 modified "2023-09-27" @default.
- W2725289179 title "Rewriting Modulo Associativity and Commutativity in Coq" @default.
- W2725289179 hasPublicationYear "2010" @default.
- W2725289179 type Work @default.
- W2725289179 sameAs 2725289179 @default.
- W2725289179 citedByCount "1" @default.
- W2725289179 countsByYear W27252891792015 @default.
- W2725289179 crossrefType "journal-article" @default.
- W2725289179 hasAuthorship W2725289179A5047022412 @default.
- W2725289179 hasAuthorship W2725289179A5084356882 @default.
- W2725289179 hasConcept C118615104 @default.
- W2725289179 hasConcept C154690210 @default.
- W2725289179 hasConcept C159423971 @default.
- W2725289179 hasConcept C183778304 @default.
- W2725289179 hasConcept C199360897 @default.
- W2725289179 hasConcept C202444582 @default.
- W2725289179 hasConcept C33923547 @default.
- W2725289179 hasConcept C41008148 @default.
- W2725289179 hasConcept C54732982 @default.
- W2725289179 hasConcept C94375191 @default.
- W2725289179 hasConceptScore W2725289179C118615104 @default.
- W2725289179 hasConceptScore W2725289179C154690210 @default.
- W2725289179 hasConceptScore W2725289179C159423971 @default.
- W2725289179 hasConceptScore W2725289179C183778304 @default.
- W2725289179 hasConceptScore W2725289179C199360897 @default.
- W2725289179 hasConceptScore W2725289179C202444582 @default.
- W2725289179 hasConceptScore W2725289179C33923547 @default.
- W2725289179 hasConceptScore W2725289179C41008148 @default.
- W2725289179 hasConceptScore W2725289179C54732982 @default.
- W2725289179 hasConceptScore W2725289179C94375191 @default.
- W2725289179 hasLocation W27252891791 @default.
- W2725289179 hasOpenAccess W2725289179 @default.
- W2725289179 hasPrimaryLocation W27252891791 @default.
- W2725289179 hasRelatedWork W1480324783 @default.
- W2725289179 hasRelatedWork W1493731753 @default.
- W2725289179 hasRelatedWork W1540190633 @default.
- W2725289179 hasRelatedWork W1553416476 @default.
- W2725289179 hasRelatedWork W1555641440 @default.
- W2725289179 hasRelatedWork W1850690851 @default.
- W2725289179 hasRelatedWork W1978137006 @default.
- W2725289179 hasRelatedWork W2022122724 @default.
- W2725289179 hasRelatedWork W2067633203 @default.
- W2725289179 hasRelatedWork W2094288613 @default.
- W2725289179 hasRelatedWork W2248983424 @default.
- W2725289179 hasRelatedWork W2283011644 @default.
- W2725289179 hasRelatedWork W2543273993 @default.
- W2725289179 hasRelatedWork W2625971044 @default.
- W2725289179 hasRelatedWork W2937780396 @default.
- W2725289179 hasRelatedWork W2952912161 @default.
- W2725289179 hasRelatedWork W2974002854 @default.
- W2725289179 hasRelatedWork W3105422096 @default.
- W2725289179 hasRelatedWork W3133234016 @default.
- W2725289179 hasRelatedWork W645451783 @default.
- W2725289179 isParatext "false" @default.
- W2725289179 isRetracted "false" @default.
- W2725289179 magId "2725289179" @default.
- W2725289179 workType "article" @default.