Matches in SemOpenAlex for { <https://semopenalex.org/work/W2155362759> ?p ?o ?g. }
- W2155362759 endingPage "70" @default.
- W2155362759 startingPage "61" @default.
- W2155362759 abstract "We present Anagopos, an open source tool for visualizing reduction graphs of terms in lambda calculus and term rewriting. Anagopos allows step-by-step generation of reduction graphs under six different graph drawing algorithms. We provide ample examples of graphs drawn with the tool." @default.
- W2155362759 created "2016-06-24" @default.
- W2155362759 creator A5012771721 @default.
- W2155362759 creator A5024664299 @default.
- W2155362759 creator A5044104798 @default.
- W2155362759 creator A5075266906 @default.
- W2155362759 date "2011-05-01" @default.
- W2155362759 modified "2023-09-24" @default.
- W2155362759 title "Anagopos: A Reduction Graph Visualizer for Term Rewriting and Lambda Calculus" @default.
- W2155362759 cites W1479963486 @default.
- W2155362759 cites W1484092744 @default.
- W2155362759 cites W1568387770 @default.
- W2155362759 cites W1609136495 @default.
- W2155362759 cites W1774099697 @default.
- W2155362759 cites W1795329293 @default.
- W2155362759 cites W1992709202 @default.
- W2155362759 cites W1996974848 @default.
- W2155362759 cites W2017779500 @default.
- W2155362759 cites W2025170645 @default.
- W2155362759 cites W2036469730 @default.
- W2155362759 cites W2043705873 @default.
- W2155362759 cites W2066582699 @default.
- W2155362759 cites W2075220720 @default.
- W2155362759 cites W2081740901 @default.
- W2155362759 cites W2107860787 @default.
- W2155362759 cites W2147468287 @default.
- W2155362759 cites W2154273644 @default.
- W2155362759 cites W2158162316 @default.
- W2155362759 cites W2167482691 @default.
- W2155362759 cites W2479147788 @default.
- W2155362759 cites W2498656827 @default.
- W2155362759 cites W598205067 @default.
- W2155362759 doi "https://doi.org/10.4230/lipics.rta.2011.61" @default.
- W2155362759 hasPublicationYear "2011" @default.
- W2155362759 type Work @default.
- W2155362759 sameAs 2155362759 @default.
- W2155362759 citedByCount "0" @default.
- W2155362759 crossrefType "proceedings-article" @default.
- W2155362759 hasAuthorship W2155362759A5012771721 @default.
- W2155362759 hasAuthorship W2155362759A5024664299 @default.
- W2155362759 hasAuthorship W2155362759A5044104798 @default.
- W2155362759 hasAuthorship W2155362759A5075266906 @default.
- W2155362759 hasConcept C111335779 @default.
- W2155362759 hasConcept C118615104 @default.
- W2155362759 hasConcept C120665830 @default.
- W2155362759 hasConcept C121332964 @default.
- W2155362759 hasConcept C132525143 @default.
- W2155362759 hasConcept C135790938 @default.
- W2155362759 hasConcept C142156749 @default.
- W2155362759 hasConcept C154690210 @default.
- W2155362759 hasConcept C199343813 @default.
- W2155362759 hasConcept C199360897 @default.
- W2155362759 hasConcept C2524010 @default.
- W2155362759 hasConcept C2777686260 @default.
- W2155362759 hasConcept C2778113609 @default.
- W2155362759 hasConcept C33923547 @default.
- W2155362759 hasConcept C41008148 @default.
- W2155362759 hasConcept C42383842 @default.
- W2155362759 hasConcept C558772884 @default.
- W2155362759 hasConcept C61237538 @default.
- W2155362759 hasConcept C61797465 @default.
- W2155362759 hasConcept C62520636 @default.
- W2155362759 hasConcept C71924100 @default.
- W2155362759 hasConcept C77736955 @default.
- W2155362759 hasConcept C77906462 @default.
- W2155362759 hasConcept C80444323 @default.
- W2155362759 hasConcept C97042676 @default.
- W2155362759 hasConceptScore W2155362759C111335779 @default.
- W2155362759 hasConceptScore W2155362759C118615104 @default.
- W2155362759 hasConceptScore W2155362759C120665830 @default.
- W2155362759 hasConceptScore W2155362759C121332964 @default.
- W2155362759 hasConceptScore W2155362759C132525143 @default.
- W2155362759 hasConceptScore W2155362759C135790938 @default.
- W2155362759 hasConceptScore W2155362759C142156749 @default.
- W2155362759 hasConceptScore W2155362759C154690210 @default.
- W2155362759 hasConceptScore W2155362759C199343813 @default.
- W2155362759 hasConceptScore W2155362759C199360897 @default.
- W2155362759 hasConceptScore W2155362759C2524010 @default.
- W2155362759 hasConceptScore W2155362759C2777686260 @default.
- W2155362759 hasConceptScore W2155362759C2778113609 @default.
- W2155362759 hasConceptScore W2155362759C33923547 @default.
- W2155362759 hasConceptScore W2155362759C41008148 @default.
- W2155362759 hasConceptScore W2155362759C42383842 @default.
- W2155362759 hasConceptScore W2155362759C558772884 @default.
- W2155362759 hasConceptScore W2155362759C61237538 @default.
- W2155362759 hasConceptScore W2155362759C61797465 @default.
- W2155362759 hasConceptScore W2155362759C62520636 @default.
- W2155362759 hasConceptScore W2155362759C71924100 @default.
- W2155362759 hasConceptScore W2155362759C77736955 @default.
- W2155362759 hasConceptScore W2155362759C77906462 @default.
- W2155362759 hasConceptScore W2155362759C80444323 @default.
- W2155362759 hasConceptScore W2155362759C97042676 @default.
- W2155362759 hasLocation W21553627591 @default.
- W2155362759 hasOpenAccess W2155362759 @default.
- W2155362759 hasPrimaryLocation W21553627591 @default.
- W2155362759 hasRelatedWork W1509588901 @default.
- W2155362759 hasRelatedWork W1512028847 @default.
- W2155362759 hasRelatedWork W1516046430 @default.