Felip Manyà
0000-0002-8366-1458
Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Constraint Satisfaction and Optimization
(75)
Formal Methods in Verification
(63)
Logic, Reasoning, and Knowledge
(57)
Logic, programming, and type systems
(36)
Advanced Algebra and Logic
(19)
Affiliations
Instituto de Engenharia de Sistemas e Computadores Investigação e Desenvolvimento
Universitat Autònoma de Barcelona
Consejo Superior de Investigaciones Científicas
Universitat de Lleida
National Academies of Sciences, Engineering, and Medicine