Sofiene Tahar

Publikationen

Liste als BibTeX-Datei exportieren

• 2014 Formal Verification of Optical Quantum Flip Gate Mohamed Yousri Mahmoud , Vincent Aravantinos und Sofiene Tahar In Interactive Theorem Proving (ITP), Band 8558 von Lecture Notes in Computer Science, Seiten 358–373, 2014. Springer. Details DOI BIB
• 2014 Implicational Rewriting Tactics in HOL Vincent Aravantinos und Sofiene Tahar In Interactive Theorem Proving (ITP), Band 8558 von Lecture Notes in Computer Science, Seiten 45-60, 2014. Springer. Details URL DOI BIB