Search

Your search keyword '"Villanueva, Alicia"' showing total 246 results

Search Constraints

Start Over You searched for: Author "Villanueva, Alicia" Remove constraint Author: "Villanueva, Alicia"
246 results on '"Villanueva, Alicia"'

Search Results

2. Informal proceedings of the 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2022)

3. A denotational semantics for PROMELA addressing arbitrary jumps

5. Automated Synthesis of Software Contracts with KindSpec

6. Proceedings 35th International Conference on Logic Programming (Technical Communications)

7. SHARENTING Y SHARENTING LABOUR.

9. Proceedings XVI Jornadas sobre Programaci\'on y Lenguajes

10. Symbolic Abstract Contract Synthesis in a Rewriting Framework

13. Automatic Inference of Specifications in the K Framework

16. Abstract Diagnosis for tccp using a Linear Temporal Logic

17. Towards an Effective Decision Procedure for LTL formulas with Constraints

18. Dulaglutide and renal outcomes in type 2 diabetes: an exploratory analysis of the REWIND randomised, placebo-controlled trial

19. Dulaglutide and cardiovascular outcomes in type 2 diabetes (REWIND): a double-blind, randomised placebo-controlled trial

20. Abstract Diagnosis for Timed Concurrent Constraint programs

22. Automatic Verification of Timed Concurrent Constraint Programs

24. Symbolic Abstract Contract Synthesis in a Rewriting Framework

26. Introduction: Echoes of empowerment: Women's voices across the Latin American, lusophone, and Spanish cultures.

27. UNITED STATES V. ARPAIO: THE JUDICIAL LIMIT ON THE PRESIDENT'S PARDON POWER.

28. Abstract Analysis of Universal Properties for tccp

30. Candidates for the 2022 Andalusian elections on Instagram: framing, polarity and engagement

31. ‘Ser putero implica asumir riesgos’: la masculinidad misógina de los hombres prostituidores durante la pandemia del COVID-19 en España

33. Datalog-Based Program Analysis with BES and RWL

34. Bridging the Gap between Two Concurrent Constraint Languages

35. Using Datalog and Boolean Equation Systems for Program Analysis

40. Campeche: Historia breve

41. Translating memories of violent pasts: memory studies and translation studies in dialogue: edited by Claudia Jünke and Désirée Schyns, London and New York, Routledge, 2023, 262 pp., £130 (hardback), ISBN: 9780367711764, £29.24 (eBook), ISBN: 9781003149651

48. Narrative accounts of the Spanish Civil War and Franco’s dictatorship: translation and memory at a crossroad

Catalog

Books, media, physical & digital resources