[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
There is currently a PhD position available at Radboud University
Nijmegen (the Netherlands) in the area of /Higher-Order Term Rewriting
with Logical Constraints/. The position
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
There is currently a PhD position available at Radboud University
Nijmegen (the Netherlands) in the topic /Implicit Complexity through
Higher-Order Rewriting/. The position is