Searching across hundreds of databases
Are you sure you want to leave this community? Leaving the community will revoke any permissions you have been granted in this community.
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: portal, software resource, software toolkit, data or information resource, project portal, software library
Keywords: equational and rewriting logic specification and programming, equational specification and programming, rewriting logic computation,
Expand Allis listed by |
We found {{ ctrl2.mentions.total_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 all resource mentions.
A list of researchers who have used the resource and an author search tool
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
Welcome to the Neuroscience Information Framework Project, designed to serve the biomedical research community. NIF maintains the largest searchable collection of neuroscience data, the largest catalog of biomedical resources, and the largest ontology for neuroscience on the web. We welcome all feedback and suggestions and are actively looking for resource providers to make their resources accessible through NIF. Learn about the tools available to help you share your data and discover a dynamic inventory of Web-based neuroscience resources.
