Search Page
Save citations to file
Email citations
Send citations to clipboard
Add to Collections
Add to My Bibliography
Create a file for external citation management software
Your saved search
Your RSS Feed
Filters
Results by year
Table representation of search results timeline featuring number of search results per year.
Year | Number of Results |
---|---|
2019 | 1 |
2022 | 1 |
2024 | 0 |
Search Results
2 results
Results by year
Filters applied: . Clear all
It looks like you are searching for an author.
Results are currently sorted by Best Match. To see the newest results first,
change the sort order to Most Recent.
Page 1
Did you mean
dermis bellis
(1 results)?
A partial evaluation methodology for optimizing rewrite theories incrementally.
MethodsX. 2022 Aug 3;9:101802. doi: 10.1016/j.mex.2022.101802. eCollection 2022.
MethodsX. 2022.
PMID: 36034524
Free PMC article.
Imposing assertions in Maude via program transformation.
Alpuente M, Ballis D, Sapiña J.
Alpuente M, et al. Among authors: ballis d.
MethodsX. 2019 Nov 6;6:2577-2583. doi: 10.1016/j.mex.2019.10.035. eCollection 2019.
MethodsX. 2019.
PMID: 31763189
Free PMC article.
Item in Clipboard
Cite
Cite