Vida admirable del sieruo de Dios, Fray Pedro Esteue, predicador apostolico ... Christoval Mercader Religioso ... , Predicador ... y Coronista de la Santa Provincia de la Observancia de Valencia ; sacala a luz acosta [sic] de Don Manuel Mercader ... hermano del Autor

Sign.: [calderón]4, 2[calderón]4, A-Z4, Aa-Zz4, Aaa4

Oracion panegirica : glorias del gran padre y patriarca S. Pedro Nolasco, fundador... del... Orden de Redentores de Nuestra S. de la Merced...

Sign. : [ ]5, A-D4

Aplauso en la beatificacion del martir inuicto, el beato Pedro Arbues, llamado comunmente el maestro Epila, canonigo de la Seo de Zaragoça y primer inquisidor de Aragon

Sign.: A-F4

Relacion historica de la famosa invasion del exercito y armada de Francia en Cataluña en 1285 : y de la valerosa resistencia que los Catalanes, Aragoneses, y Valencianos, con su Rey Don Pedro, hicieron á los enemigos en el Rosellón y el Ampurdán por tierra y por mar ...

Índice

Copia del auto en vista del Señor D. Pedro Josef Mayoral, Visitador Regio, que fuè, de este Real Hospital General, relativo al Govierno de las Enfermerias ..

Hay un ejemplar encuadernado con: Constituciones y nuevas ordenanzas del Real y General Hospital de la ciudad de Valencia (XVIII/1133).

Sized Type Analysis for Logic Programs (Technical Communication)

We present a novel analysis for relating the sizes of terms and subterms occurring at diferent argument positions in logic predicates. We extend and enrich the concept of sized type as a representation that incorporates structural (shape) information and allows expressing both lower and upper bounds on the size of a set of terms and their subterms at any position and depth. For example, expressing bounds on the length of lists of numbers, together with bounds on the values of all of their elements. The analysis is developed using abstract interpretation and the novel abstract operations are based on setting up and solving recurrence relations between sized types. It has been integrated, together with novel resource usage and cardinality analyses, in the abstract interpretation framework in the Ciao preprocessor, CiaoPP, in order to assess both the accuracy of the new size analysis and its usefulness in the resource usage estimation application. We show that the proposed sized types are a substantial improvement over the previous size analyses present in CiaoPP, and also benefit the resource analysis considerably, allowing the inference of equal or better bounds than comparable state of the art systems.

Oracion fúnebre en honor de D. Pedro Calderón de la Barca : pronunciada ...

Publicada por el Ateneo de Valencia

Exordio del titulo de viceq[ancille]r de Aragon [otorgado a D. Pedro de Guzmán] [Manuscrito]

Alcance y contenido: Copia ms. del nombramiento de Vicecanciller de Aragón a D. Pedro de Guzmán, por Felipe III de Aragón (IV de Castilla) en 1623, en base a sus virtudes e integridad.

Nos D. Fr. Pedro de Urbina ... Arçobispo de Valencia ... hazemos saber que ... Felipe Quarto ... nos ha remitido el Breve de su Santidad en que a devocion de su magestad catolica ha establecido la Fiesta del Patrocinio de la Virgen Santissima ... para los Reynos de España que traduzido en Romance ...

Contiene: Breve de Alejandro VII fechada en Roma en Sta. María la Mayor el dia 28 de julio de 1656

Apuntamiento legal del derecho que assiste a la Real Jurisdicción è ilustre Parroquia de los Santos Juanes Bautista y Evangelista de esta ciudad en la causa que introduxeron el Sr. Fiscal ... y dicha parroquia, contra ... Pedro Joseph Mayoral ... Visitador General ... sobre tomar las cuentas como a tal visitador del derecho de fabrica, y el que llaman nuevo de dicha parroquia

Precede al tít.: Jesus, Maria, y Joseph

Manifiesto de las preeminencias, rentas y obligaciones que tienen los Obreros mayores de la ... Parroquia de San Pedro Martir y San Nicolas de Bari, Obispo de Mira de ... Valencia ... segun deliberacion de 19 de enero de 1742 y recientes

Texto fechado el 24 de Noviembre de 1798

Sermon, que en las solemnes exequias de la sierva de Dios Maria Ana Amat ... celebradas en el Convento de San Pedro de Alcantara de Religiosos Descalzos

Sign. : A-H4, I1

Historia del infante Dn. Pedro de Portugal : el qual anduvo las siete partidas del Mundo

Palau propone que "Juan Gomez de Santistevan" es realmente "Pedro de Portugal"

Alegacion en Derecho por el Mariscal de campo D. Pedro Maza de Lizana ... de Novelda sobre pretender estos se declaren por nulos ... los Capitulos de Poblacion de dicha villa ...

Precede al tít.: "Jesus, Maria, Joseph, S. Joaquin y S. Ana"

Doctrinas practicas que suele explicar en sus missiones el Padre Pedro de Calatayud ... de la Compañia de Jesus ... : dispuestas para desenredar, y dirigir las conciencias ... : [tomo primero]

Mención de tomo tomada de la antep.