Laurent Doyen: Journal Publications by Venue

ACM Transactions on Computational Logic



Formal Aspects of Computing



Formal Methods in System Design



Information and Computation



Information Processing Letters



International Journal of Foundations of Computer Science



Logical Methods in Computer Science



Theoretical Computer Science



Last updated in December 2017.