PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Moreau, Pierre-Etienne"

Author of the publication

copydeleteadd this publication to your clipboard
Editorial.

, , , , , and . Higher-Order and Symbolic Computation, 19 (4): 343-344 (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.

Pierre Nacke University of Stuttgart

Dr. rer. nat. Pierre Eckold University of Stuttgart

Pierre Kuna University of Stuttgart

 

Other publications of authors with the same name

Handling ELAN rewrite programs via an exchange format., , , and . Electr. Notes Theor. Comput. Sci., (1998)ELAN from a rewriting logic point of view., , , and . Theor. Comput. Sci., 285 (2): 155-185 (2002)REM (Reduce Elan Machine): Core of the New ELAN Compiler.. RTA, volume 1833 of Lecture Notes in Computer Science, page 265-269. Springer, (2000)A Compiler for Rewrite Programs in Associative-Commutative Theories., and . PLILP/ALP, volume 1490 of Lecture Notes in Computer Science, page 230-249. Springer, (1998)Anti-pattern Matching Modulo., , and . LATA, volume 5196 of Lecture Notes in Computer Science, page 275-286. Springer, (2008)Rules and Strategies in Java., and . Electron. Notes Theor. Comput. Sci., (2008)Environments for Term Rewriting Engines for Free!, , and . RTA, volume 2706 of Lecture Notes in Computer Science, page 424-435. Springer, (2003)Effective strategic programming for Java developers., , and . Softw., Pract. Exper., 44 (2): 129-162 (2014)Editorial., , , , , and . Higher-Order and Symbolic Computation, 19 (4): 343-344 (2006)Rule-based Programming in Java For Protocol Verification., , and . Electr. Notes Theor. Comput. Sci., (2005)