• Reference Citation Analysis
  • v
  • v
  • Find an Article
For: Clavel M, Durán F, Martí-Oliet N. Polytypic Programming in Maude. ACTA ACUST UNITED AC 2000. [DOI: 10.1016/s1571-0661(05)80135-5] [Citation(s) in RCA: 8] [Impact Index Per Article: 0.3] [Reference Citation Analysis] [What about the content of this article? (0)] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/25/2022]
Number Cited by Other Article(s)
1
Twenty years of rewriting logic. ACTA ACUST UNITED AC 2012. [DOI: 10.1016/j.jlap.2012.06.003] [Citation(s) in RCA: 116] [Impact Index Per Article: 9.7] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/21/2022]
2
The Polymorphic Rewriting-calculus. ACTA ACUST UNITED AC 2005. [DOI: 10.1016/j.entcs.2004.06.027] [Citation(s) in RCA: 2] [Impact Index Per Article: 0.1] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 12/01/2022]
3
A Rewriting Logic Sampler. ACTA ACUST UNITED AC 2005. [DOI: 10.1007/11560647_1] [Citation(s) in RCA: 2] [Impact Index Per Article: 0.1] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register]
4
Parameterized Theories and Views in Full Maude 2.0⋆ ⋆Supported by DARPA through Rome Laboratories Contract F30602-97-C-0312 and NASA Contract NAS2-98073, by Office of Naval Research Contract N00014-99-C-0198, and by National Science Foundation Grants CCR-9900334. ACTA ACUST UNITED AC 2000. [DOI: 10.1016/s1571-0661(05)80136-7] [Citation(s) in RCA: 4] [Impact Index Per Article: 0.2] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/24/2022]
PrevPage 1 of 1 1Next
© 2004-2024 Baishideng Publishing Group Inc. All rights reserved. 7041 Koll Center Parkway, Suite 160, Pleasanton, CA 94566, USA