Activities per year
Activities
- 16 results
Search results
-
Electronic Notes in Theoretical Computer Science (Journal)
Fernandez, M. (Guest editor)
Sept 2013Activity: Publication peer-review and editorial work › Editorial activity
-
Journal of Computation and Mathematics, London Mathematical Society (Journal)
Fernandez, M. (Editorial board member)
2011 → …Activity: Publication peer-review and editorial work › Editorial activity
-
Editor, Proceedings of UNIF 2010 - EPTCS (Journal)
Fernandez, M. (Editor)
2010Activity: Publication peer-review and editorial work › Editorial activity
-
Proceedings of the 12th ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP), ACM Press (Journal)
Fernandez, M. (Associate Editor)
2010Activity: Publication peer-review and editorial work › Editorial activity
-
Int. Journal of Automated Reasoning - Special issue on Theory and Applications of Abstraction, Substitution and Naming (Journal)
Fernandez, M. (Editor)
2009 → 2010Activity: Publication peer-review and editorial work › Editorial activity
-
Editor, Proceedings of WRS 2009 - EPTCS (Journal)
Fernandez, M. (Editor)
2009Activity: Publication peer-review and editorial work › Editorial activity
-
Special issue on Rewriting Calculi, Higher-Order Reductions and Patterns, Journal of Mathematical Structures in Computer Science (Journal)
Fernandez, M. (Associate Editor)
2007 → 2008Activity: Publication peer-review and editorial work › Editorial activity
-
Proceedings of SecReT, Electronic Notes in Theoretical Computer Science, Elsevier (Journal)
Fernandez, M. (Associate Editor)
2006Activity: Publication peer-review and editorial work › Editorial activity
-
Proceedings of RULE 2006, Electronic Notes in Theoretical Computer Science, Elsevier (Journal)
Fernandez, M. (Associate Editor)
2006Activity: Publication peer-review and editorial work › Editorial activity
-
Int. Journal of Logic and Computatoin - 2 Special Issues (Journal)
Fernandez, M. (Editor)
2005 → 2007Activity: Publication peer-review and editorial work › Editorial activity
-
Special issues on Type Theory, Lambda-Calculus and Natural Language, Journal of Logic and Computation, OUP (Journal)
Fernandez, M. (Associate Editor)
2005 → 2007Activity: Publication peer-review and editorial work › Editorial activity
-
Proceedings of DCM 2005, Electronic Notes in Theoretical Computer Science, Elsevier (Journal)
Fernandez, M. (Associate Editor)
2005Activity: Publication peer-review and editorial work › Editorial activity
-
Int. Journal on Mathematical Structures in Computer Science - 3 special issues (Journal)
Fernandez, M. (Editor)
2005 → 2008Activity: Publication peer-review and editorial work › Editorial activity
-
Editor, Proceedings of TERMGRAPH 2004, Electronic Notes in Theoretical Computer Science, Elsevier (Journal)
Fernandez, M. (Editor)
2004Activity: Publication peer-review and editorial work › Editorial activity
-
Corner editor of the International Journal on Logic and Computation, OUP (Journal)
Fernandez, M. (Editorial board member)
2001 → …Activity: Publication peer-review and editorial work › Editorial activity
-
Journal of Computation and Mathematics, London Mathematical Society (Journal)
Fernandez, M. (Editorial board member)
2001 → …Activity: Publication peer-review and editorial work › Editorial activity