Skip to content
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Contact
How to get here?
Log In
Presentation
Teams
Logic, Computation and Programming
Systems Specification and Verification
Masters
Members
Publications
Seminar
Contact
How to get here?
Log In
Homomorphismes navigationnels pour les requêtes dans les bases de données graphes : complexité et algorithmes
September 12, 2022
Florent Foucaud
(Clermont Ferrand (LIMOS))
Post navigation
Reasoning over leaks of information for Access Control of Databases
Synthesizing rational behaviors while caring for resources
