"I am a professor of computer science in Orléans (teaching: IUT, UFR Sciences - research: LIFO). My general interests are in programming language design and implementation, constraint programming, and computational linguistics."
F. Dau. Proceedings of the 14th International Conference on Conceptual Structures (ICCS 2006), том 4068 из Lecture Notes in Computer Science, стр. 172-188. Springer, (2006)
T. Mens, K. Mens, и P. Steyaert. Proceedings of the International Conference on Formal Methods Europe (FME), том 873 из Lecture Notes in Computer Science, стр. 326--345. Springer-Verlag, (1994)