A liberal type system for functional logic programs von LÓPEZ-FRAGUAS, FRANCISCO JAVIER, MARTIN-MARTIN, ENRIQUE, RODRÍGUEZ-HORTALÁ, JUAN

Volltext

Characterization of codfish gelatin: A comparative study of fresh and salted skins and different extraction methods von Alves, Ana Luísa, Fraguas, Francisco Javier, Carvalho, Ana Cristina, Valcárcel, Jesús, Pérez-Martín, Ricardo Isaac, Reis, Rui Luís, Vázquez, José Antonio, Silva, Tiago Henriques

Volltext

Rewriting and call-time choice: the HO case von López-Fraguas, Francisco Javier, Rodríguez-Hortalá, Juan, Sánchez-Hernández, Jaime

Volltext

Dynamic-cut with definitional trees von CABALLERO, Rafael, LOPEZ-FRAGUAS, Francisco Javier

Volltext

Narrowing failure in functional logic programming von LOPEZ-FRAGUAS, Francisco Javier, SANCHEZ-HERNANDEZ, Jaime

Volltext

A Fully Abstract Semantics for Constructor Systems von López-Fraguas, Francisco Javier, Rodríguez-Hortalá, Juan, Sánchez-Hernández, Jaime

Volltext

Rewriting and Call-Time Choice: The HO Case von López-Fraguas, Francisco Javier, Rodríguez-Hortalá, Juan, Sánchez-Hernández, Jaime

Volltext

A logical framework for configuration software von Vlaeminck, Hanne, Vennekens, Joost, Denecker, Marc

Volltext bestellen

Path-sensitive region analysis for Mercury programs von Phan, Quan, Janssens, Gerda

Volltext bestellen

A Lightweight Combination of Semantics for Non-deterministic Functions von Lopez-Fraguas, Francisco Javier, Rodriguez-Hortala, Juan, Sanchez-Hernandez, Jaime

Volltext bestellen

A Proof Theoretic Approach to Failure in Functional Logic Programming von Lopez-Fraguas, Francisco Javier, Sanchez-Hernandez, Jaime

Volltext bestellen

A Lightweight Combination of Semantics for Non-deterministic Functions von Lopez-Fraguas, Francisco Javier, Rodriguez-Hortala, Juan, Sanchez-Hernandez, Jaime

Volltext

A Proof Theoretic Approach to Failure in Functional Logic Programming von Lopez-Fraguas, Francisco Javier, Sanchez-Hernandez, Jaime

Volltext

Dynamic-Cut with Definitional Trees von Caballero, Rafael, López-Fraguas, Francisco Javier

Volltext

Narrowing Failure in Functional Logic Programming von López-Fraguas, Francisco Javier, Sánchez-Hernández, Jaime

Volltext

Programming with non-determinism a rewriting based approach von Juan. Rodríguez Hortalá

Volltext bestellen

AZATAX: Acetazolamide safety and efficacy in cerebellar syndrome in PMM2 congenital disorder of glycosylation (PMM2‐CDG) von Martínez‐Monseny, Antonio F., Bolasell, Mercè, Callejón‐Póo, Laura, Cuadras, Daniel, Freniche, Verónica, Itzep, Débora C., Gassiot, Susanna, Arango, Pedro, Casas‐Alba, Didac, Morena, Eugenia, Corral, Javier, Montero, Raquel, Pérez‐Cerdá, Celia, Pérez, Belén, Artuch, Rafael, Jaeken, Jaak, Serrano, Mercedes, Velázquez‐Fragua, Ramón, García, Oscar, Gutierrez‐Solana, Luis G, Macaya, Alfons, Pérez‐Dueñas, Belén, Aguilera‐Albesa, Sergio, López, Laura, Miranda, Ma Concepción, Carratala, Francisco, Yoldi, M Eugenia, López‐Laso, Eduardo, Sierra‐Córcoles, Ma Concepción, Sebastián‐García, Irma, Aísa, Eduardo, Cancho‐Candela, Ramon, Carrasco‐Marina, M Llanos, Couce, María L., Roldán, Susana, Muchart, Jordi, Morales, Montserrat, Conde‐Lorenzo, Noemi

Volltext

The new long-acting injectable for maintenance treatment of schizophrenia: What is the clinical value of aripiprazole 2-month ready-to-use 960 mg? von Álamo, Cecilio, Catalán, Ana, Fraguas, David, Gotor, Francisco, Labad, Javier, Parro-Torres, Carlos, Pérez, Víctor, Sierra, Pilar

Volltext

Primary omental torsion as presentation of acute abdomen. Case report von Mendoza Moreno, Fernando, Díez Gago, María del Rocío, Córdova García, Diego Martín, Pedraza Muñoz, Antonio, Díez Alonso, Manuel, Noguerales Fraguas, Fernando, Granell Vicent, Francisco Javier

Volltext

Ileocolic intussusception due to giant ileal lipoma: Review of literature and report of a case von Minaya Bravo, Ana María, Vera Mansilla, Cristina, Noguerales Fraguas, Fernando, Granell Vicent, Francisco Javier

Volltext