Author of the publication

Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics.

, , and . WRS@FLoC, volume 174 of Electronic Notes in Theoretical Computer Science, page 119-137. Elsevier, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Observing intermediate structures in a parallel lazy functional language., , , and . PPDP, page 109-120. ACM, (2007)Selecting Algorithms by Using ATD., , and . SMC, page 11-16. IEEE, (2018)Testing the Behaviour of Entities in a Cognitive Language., , , , and . Int. J. Cogn. Informatics Nat. Intell., 2 (1): 29-43 (2008)Comparing Learning Methods., , and . Int. J. Cogn. Informatics Nat. Intell., 3 (3): 12-26 (2009)Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages., , and . IFL, volume 4449 of Lecture Notes in Computer Science, page 55-72. Springer, (2006)A Formal Environment for Describing Negotiation Capabilities., , and . IEEE ICCI, page 222-231. IEEE Computer Society, (2007)Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics., , and . WRS@FLoC, volume 174 of Electronic Notes in Theoretical Computer Science, page 119-137. Elsevier, (2006)A Cognitive-based Tool to Teach how to Teach., , , , and . SMC, page 1008-1014. IEEE, (2020)The Role of Indirections in Lazy Natural Semantics., , and . Ershov Memorial Conference, volume 8974 of Lecture Notes in Computer Science, page 288-303. Springer, (2014)A Parallel Skeleton for Genetic Algorithms., , , and . IWANN (2), volume 6692 of Lecture Notes in Computer Science, page 388-395. Springer, (2011)