Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers von Marino, Julio

Volltext

Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

Volltext

Sperm chromatin stability and their relationship with fertilization rate in Sheep of the Junín race von Unchupaico-Payano, Ide, Alponte-Sierra, Alberto, Quispe-Eulogio, Carlos, Ancco-Goméz, Edith, Huamán-De La Cruz, Alex, Mariño-Alfaro, Julio, Patiño-Rivera, Alberto, Lavado-Meza, Carmencita, Huanca-Rojas, Lupe, Bazán-Alonso, Luis

Volltext

Executable contracts for Elixir von Bueso de Barrio, Luis Eduardo, Fredlund, Lars-Åke, Herranz, Ángel, Mariño, Julio, Benac Earle, Clara

Volltext

A formal semantics for agent distribution and fault tolerance in Jason von Fernández Díaz, Álvaro, Fredlund, Lars-Åke, Benac-Earle, Clara, Mariño, Julio

Volltext

Efficient and Compositional Higher-Order Streams von Patai, Gergely

Volltext

Generation of algebraic data type values using evolutionary algorithms von Ballesteros, Ignacio, Benac-Earle, Clara, Mariño, Julio, Fredlund, Lars-Åke, Herranz, Ángel

Volltext

Towards Automatic Learning of Heuristics for Mechanical Transformations of Procedural Code von Vigueras, Guillermo, Carro, Manuel, Tamarit, Salvador, Mariño, Julio

Volltext

Constraint logic programming with a relational machine von Gallego Arias, Emilio Jesús, Lipton, James, Mariño, Julio

Volltext

Towards a Semantics-Aware Code Transformation Toolchain for Heterogeneous Systems von Tamarit, Salvador, Mariño, Julio, Vigueras, Guillermo, Carro, Manuel

Volltext

A Model-Driven Approach to Teaching Concurrency von Carro, Manuel, Herranz, Angel, Marino, Julio

Volltext

Synthesis of verifiable concurrent Java components from formal models von Mariño, Julio, Alborodo, Raúl N. N., Fredlund, Lars-Åke, Herranz, Ángel

Volltext

Case 6/2017 - Extensive Giant Left Coronary Artery Aneurysm Due to Kawasaki Vasculitis in Asymptomatic 48-Year-Old Man von Atik, Edmar, Kalil, Filho, Roberto, Jatene, Fabio, Marino, Júlio Cesar S

Volltext

Estudios de casos clínicos: contribuciones a la psicología en Puerto Rico von Santana Mariño, Julio

Volltext

Parameterized models for on-line and off-line use von Wuille, Pieter, Schrijvers, Tom

Volltext

Demand analysis with partial predicates von MARIÑO, JULIO, HERRANZ, ÁNGEL, MORENO-NAVARRO, JUAN JOSÉ

Volltext

A testing-based approach to ensure the safety of shared resource concurrent systems von Fredlund, Lars-Åke, Mariño, Julio, Alborodo, Raúl NN, Herranz, Ángel

Volltext

A Testing-Based Approach to Ensure the Safety of Shared Resource Concurrent Systems von Fredlund, Lars-Åke, Herranz, Ángel, Mariño, Julio

Volltext

Transforming Functional Logic Programs into Monadic Functional Programs von Braßel, Bernd, Fischer, Sebastian, Hanus, Michael, Reck, Fabian

Volltext

Types for Role-Based Access Control of Dynamic Web Data von Dezani-Ciancaglini, Mariangiola, Ghilezan, Silvia, Jakšić, Svetlana, Pantović, Jovanka

Volltext