42 research outputs found
Управління виробничими запасами на підприємстві (на матеріалах ПрАТ «Детвілер Ущільнюючі Технології України»)
. The second-order matching problem is the problem of determining, for a finite set {#t i , s i # | i # I} of pairs of a second-order term t i and a first-order closed term s i , called a matching expression, whether or not there exists a substitution # such that t i # = s i for each i # I . It is well-known that the second-order matching problem is NP-complete. In this paper, we introduce the following restrictions of a matching expression: k-ary, k-fv , predicate, ground , and function-free. Then, we show that the second-order matching problem is NP-complete for a unary predicate, a unary ground, a ternary function-free predicate, a binary function-free ground, and an 1-fv predicate matching expressions, while it is solvable in polynomial time for a binary function-free predicate, a unary function-free, a k-fv function-free (k # 0), and a ground predicate matching expressions. 1 Introduction The unification problem is the problem of determining whether or not any two ter..
From Romantic Gothic to Victorian Medievalism: 1817 and 1877
"The Cambridge History of the Gothic was conceived in 2015, when Linda Bree, then Editorial Director at Cambridge University Press, first suggested the idea to us
L. Vázquez de Parga, J. M. Lacarra, Juan Uría, Las Peregrinaciones a Santiago de Compostela.
Défourneaux Marcelin. L. Vázquez de Parga, J. M. Lacarra, Juan Uría, Las Peregrinaciones a Santiago de Compostela.. In: Bulletin Hispanique, tome 53, n°1, 1951. pp. 82-88
Nouvelles recherches sur Pablo de Olavide
Défourneaux Marcelin. Nouvelles recherches sur Pablo de Olavide. In: Cahiers du monde hispanique et luso-brésilien, n°17, 1971. pp. 111-132
Jansénisme et régalisme dans l'Espagne du XVIIIe siècle
Défourneaux Marcelin. Jansénisme et régalisme dans l'Espagne du XVIIIe siècle. In: Cahiers du monde hispanique et luso-brésilien, n°11, 1968. pp. 163-179
Antonio Mestre, Ilustración y reforma de la Iglesia. Pensamiento político-religioso de Don Gregorio Mayáns y Siscar (1699-1781) — Historia, fueros y actitudes políticas. Mayáns y la historiografía del XVIII
Défourneaux Marcelin. Antonio Mestre, Ilustración y reforma de la Iglesia. Pensamiento político-religioso de Don Gregorio Mayáns y Siscar (1699-1781) — Historia, fueros y actitudes políticas. Mayáns y la historiografía del XVIII. In: Cahiers du monde hispanique et luso-brésilien, n°17, 1971. pp. 268-272
L. Vázquez de Parga, J. M. Lacarra, Juan Uría, Las Peregrinaciones a Santiago de Compostela.
Défourneaux Marcelin. L. Vázquez de Parga, J. M. Lacarra, Juan Uría, Las Peregrinaciones a Santiago de Compostela.. In: Bulletin Hispanique, tome 53, n°1, 1951. pp. 82-88
Frédéric Mauro, Le XVIe siècle européen. Aspects économiques. Col. « Nouvelle Clio »
Défourneaux Marcelin. Frédéric Mauro, Le XVIe siècle européen. Aspects économiques. Col. « Nouvelle Clio ». In: Cahiers du monde hispanique et luso-brésilien, n°8, 1967. Numéro spécial consacré à la deuxième partie du colloque international sur "Littérature et histoire du Pérou " pp. 163-165
Carmen Martín Gaite, El proceso de Macanaz. Historia de un empapelamiento
Défourneaux Marcelin. Carmen Martín Gaite, El proceso de Macanaz. Historia de un empapelamiento. In: Bulletin Hispanique, tome 73, n°3-4, 1971. pp. 436-440