RIVIERE, Peter Bernard
(RIVIERE, Peter Bernard)特任助教
情報科学, 次世代デジタル社会基盤研究領域
Ph.D. in Computer Science National Institute of Polytechnic of Toulouse
Engineer Diploma in Computer Science National Institute of Polytechnic of Toulouse–ENSEEIHT (French Grande École)
Baccalaureate, Major in Maths, Physic, Chemistry Lycée Jean Jaures (Carmaux, France)
数理情報学
A Complete Fragment of LTL(EB). Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh 0001, Yamine Aït Ameur
CoRR, abs/2401.16838, -, 2024
A Complete Fragment of LTL(EB). Flavio Ferrarotti, Peter Rivière, Klaus-Dieter Schewe, Neeraj Kumar Singh 0001, Yamine Aït Ameur
Foundations of Information and Knowledge Systems - 13th International Symposium(FoIKS), 237-255, 2024