Matches in SemOpenAlex for { <https://semopenalex.org/work/W1993037842> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1993037842 endingPage "23" @default.
- W1993037842 startingPage "3" @default.
- W1993037842 abstract "This paper is an introduction to rule-based programming in Maude. We illustrate in particular the use of operator attributes to structure the state of a system, and the difference between equations and rules. We use well-known mathematical games and puzzles for our examples illustrating the expressive power of Maude." @default.
- W1993037842 created "2016-06-24" @default.
- W1993037842 creator A5034342549 @default.
- W1993037842 creator A5051294295 @default.
- W1993037842 creator A5076184186 @default.
- W1993037842 date "2005-03-01" @default.
- W1993037842 modified "2023-10-03" @default.
- W1993037842 title "Playing with Maude" @default.
- W1993037842 cites W1976195354 @default.
- W1993037842 cites W2091567516 @default.
- W1993037842 cites W2147892488 @default.
- W1993037842 doi "https://doi.org/10.1016/j.entcs.2004.07.012" @default.
- W1993037842 hasPublicationYear "2005" @default.
- W1993037842 type Work @default.
- W1993037842 sameAs 1993037842 @default.
- W1993037842 citedByCount "5" @default.
- W1993037842 countsByYear W19930378422012 @default.
- W1993037842 countsByYear W19930378422020 @default.
- W1993037842 countsByYear W19930378422023 @default.
- W1993037842 crossrefType "journal-article" @default.
- W1993037842 hasAuthorship W1993037842A5034342549 @default.
- W1993037842 hasAuthorship W1993037842A5051294295 @default.
- W1993037842 hasAuthorship W1993037842A5076184186 @default.
- W1993037842 hasBestOaLocation W19930378421 @default.
- W1993037842 hasConcept C104317684 @default.
- W1993037842 hasConcept C121332964 @default.
- W1993037842 hasConcept C136119220 @default.
- W1993037842 hasConcept C154690210 @default.
- W1993037842 hasConcept C158448853 @default.
- W1993037842 hasConcept C163258240 @default.
- W1993037842 hasConcept C17020691 @default.
- W1993037842 hasConcept C185592680 @default.
- W1993037842 hasConcept C195818886 @default.
- W1993037842 hasConcept C199343813 @default.
- W1993037842 hasConcept C199360897 @default.
- W1993037842 hasConcept C202444582 @default.
- W1993037842 hasConcept C2777686260 @default.
- W1993037842 hasConcept C33923547 @default.
- W1993037842 hasConcept C41008148 @default.
- W1993037842 hasConcept C48103436 @default.
- W1993037842 hasConcept C55493867 @default.
- W1993037842 hasConcept C62520636 @default.
- W1993037842 hasConcept C71924100 @default.
- W1993037842 hasConcept C80444323 @default.
- W1993037842 hasConcept C86339819 @default.
- W1993037842 hasConceptScore W1993037842C104317684 @default.
- W1993037842 hasConceptScore W1993037842C121332964 @default.
- W1993037842 hasConceptScore W1993037842C136119220 @default.
- W1993037842 hasConceptScore W1993037842C154690210 @default.
- W1993037842 hasConceptScore W1993037842C158448853 @default.
- W1993037842 hasConceptScore W1993037842C163258240 @default.
- W1993037842 hasConceptScore W1993037842C17020691 @default.
- W1993037842 hasConceptScore W1993037842C185592680 @default.
- W1993037842 hasConceptScore W1993037842C195818886 @default.
- W1993037842 hasConceptScore W1993037842C199343813 @default.
- W1993037842 hasConceptScore W1993037842C199360897 @default.
- W1993037842 hasConceptScore W1993037842C202444582 @default.
- W1993037842 hasConceptScore W1993037842C2777686260 @default.
- W1993037842 hasConceptScore W1993037842C33923547 @default.
- W1993037842 hasConceptScore W1993037842C41008148 @default.
- W1993037842 hasConceptScore W1993037842C48103436 @default.
- W1993037842 hasConceptScore W1993037842C55493867 @default.
- W1993037842 hasConceptScore W1993037842C62520636 @default.
- W1993037842 hasConceptScore W1993037842C71924100 @default.
- W1993037842 hasConceptScore W1993037842C80444323 @default.
- W1993037842 hasConceptScore W1993037842C86339819 @default.
- W1993037842 hasIssue "1" @default.
- W1993037842 hasLocation W19930378421 @default.
- W1993037842 hasOpenAccess W1993037842 @default.
- W1993037842 hasPrimaryLocation W19930378421 @default.
- W1993037842 hasRelatedWork W1603777797 @default.
- W1993037842 hasRelatedWork W1998586093 @default.
- W1993037842 hasRelatedWork W2112962394 @default.
- W1993037842 hasRelatedWork W2116959936 @default.
- W1993037842 hasRelatedWork W2118300983 @default.
- W1993037842 hasRelatedWork W2166247150 @default.
- W1993037842 hasRelatedWork W2168393711 @default.
- W1993037842 hasRelatedWork W2254016479 @default.
- W1993037842 hasRelatedWork W4243252198 @default.
- W1993037842 hasRelatedWork W1599148369 @default.
- W1993037842 hasVolume "124" @default.
- W1993037842 isParatext "false" @default.
- W1993037842 isRetracted "false" @default.
- W1993037842 magId "1993037842" @default.
- W1993037842 workType "article" @default.