URL: http://maude.cs.illinois.edu/w/index.php/The_Maude_System
Proper Citation: Maude (RRID:SCR_024108)
Description: Software high performance reflective language and system supporting both equational and rewriting logic specification and programming for wide range of applications.Supports equational specification and programming, rewriting logic computation.
Synonyms: Maude, maude
Resource Type: data or information resource, portal, project portal, software library, software resource, software toolkit
Keywords: equational and rewriting logic specification and programming, equational specification and programming, rewriting logic computation,
Availability: Free, Available for download, Freely available,
Resource Name: Maude
Resource ID: SCR_024108
Expand Allis listed by |
We found {{ ctrl2.mentions.all_count }} mentions in open access literature.
We have not found any literature mentions for this resource.
We are searching literature mentions for this resource.
Most recent articles:
{{ mention._source.dc.creators[0].familyName }} {{ mention._source.dc.creators[0].initials }}, et al. ({{ mention._source.dc.publicationYear }}) {{ mention._source.dc.title }} {{ mention._source.dc.publishers[0].name }}, {{ mention._source.dc.publishers[0].volume }}({{ mention._source.dc.publishers[0].issue }}), {{ mention._source.dc.publishers[0].pagination }}. (PMID:{{ mention._id.replace('PMID:', '') }})
Check
for resource mentions.
A list of researchers who have used the resource and an author search tool
Find mentions based on location
{{ ctrl2.mentions.errors.location }}
A list of researchers who have used the resource and an author search tool. This is available for resources that have literature mentions.
No rating or validation information has been found for Maude.
No alerts have been found for Maude.
Source: SciCrunch Registry (RRID:SCR_005400)
Description: Interactive portal for finding and submitting biomedical resources. Resources within SciCrunch have assigned RRIDs which are used to cite resources in scientific manuscripts. SciCrunch Registry, formerly NIF Registry, provides resources catalog. Allows to add new resources. Allows edit existing resources after registration. Curators are tasked with identifying and registering resources, examining data, writing configuration files to index and display data and keeping contents current.
URL: https://rrid.site/rin/sources/SCR_005400
