Literatura académica sobre el tema "Proviso"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Proviso".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Proviso"
Block, Walter E. "Forestalling, Positive Obligations and the Lockean and Blockian Provisos: Rejoinder to Stephan Kinsella". Ekonomia 22, n.º 3 (21 de noviembre de 2016): 27–41. http://dx.doi.org/10.19195/2084-4093.22.3.2.
Texto completoRodgers, Lamont. "The role of nature in the self-ownership proviso". ethic@ - An international Journal for Moral Philosophy 20, n.º 1 (30 de abril de 2021): 326–43. http://dx.doi.org/10.5007/1677-2954.2021.e78304.
Texto completoBornschein, Peter. "The self-ownership proviso". Politics, Philosophy & Economics 17, n.º 4 (15 de marzo de 2018): 339–55. http://dx.doi.org/10.1177/1470594x18762256.
Texto completoVarden, Helga. "The Lockean ‘Enough-and-as-Good’ Proviso: An Internal Critique". Journal of Moral Philosophy 9, n.º 3 (2012): 410–42. http://dx.doi.org/10.1163/174552412x625772.
Texto completoMack, Eric. "The Self-Ownership Proviso: A New and Improved Lockean Proviso". Social Philosophy and Policy 12, n.º 1 (1995): 186–218. http://dx.doi.org/10.1017/s0265052500004611.
Texto completoSumika, Masayoshi. "Behind the Mask of the Secular". Journal of Religion in Japan 5, n.º 2-3 (2016): 153–75. http://dx.doi.org/10.1163/22118349-00502005.
Texto completoEhman, Robert. "Nozick's Proviso". Journal of Value Inquiry 20, n.º 1 (1986): 51–56. http://dx.doi.org/10.1007/bf00141920.
Texto completoSlaev, Aleksandar D. "The Transaction Costs of Sustainability: Coase’s Proviso and the Roles of Environmentalists and the Government". Sustainability 15, n.º 4 (8 de febrero de 2023): 3096. http://dx.doi.org/10.3390/su15043096.
Texto completoWinter, Yoad. "On Presupposition Projection with Trivalent Connectives". Semantics and Linguistic Theory 29 (13 de diciembre de 2019): 582. http://dx.doi.org/10.3765/salt.v29i0.4644.
Texto completoCoutts, J. A. "Applying the Proviso". Journal of Criminal Law 53, n.º 2 (mayo de 1989): 210–14. http://dx.doi.org/10.1177/002201838905300205.
Texto completoTesis sobre el tema "Proviso"
Bådagård, William. "A Critique of Anna Stilz' Fair-use Proviso : The normative significance of future generations in matters of territorial rights". Thesis, Uppsala universitet, Avdelningen för praktisk filosofi, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-416345.
Texto completoBornschein, Peter. "Right-Libertarianism and the Destitution Objection". Bowling Green State University / OhioLINK, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=bgsu1462900713.
Texto completoPillay, George Aloysius Permall. "A critical assessment of the constitutionality of section 79(7) of the Correctional Services Act 111 of 1998, with specific reference to the proviso". University of Western Cape, 2019. http://hdl.handle.net/11394/7577.
Texto completoIn recent years the issue of medical parole has become a controversial issue in South Africa. Prior to 2012, at which juncture the law governing the release of inmates on grounds of terminal illness was amended, there were cases where the public deemed the law inadequate and susceptible to political interference.1 There can therefore be little doubt that an amendment to the law was opportune to ensure that the release of inmates was based on legitimate medical reasons.
Janson, Jens. "This World or Another? : Mapping Modern Theologies". Thesis, Uppsala universitet, Teologiska institutionen, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-451207.
Texto completoCarvalho, João Pedro Pinheiro de. "Workers' compensation best estimate". Master's thesis, Instituto Superior de Economia e Gestão, 2017. http://hdl.handle.net/10400.5/14723.
Texto completoO presente trabalho apresenta uma análise às melhores estimativas de acidentes de trabalho sob o regime de Solvência II que entrou em vigor a 1 de janeiro de 2016, apresentando uma modelização das responsabilidades com base na legislação existente, principalmente a Lei n.º 98/2009. No âmbito de Solvência II, as melhores estimativas das responsabilidades de seguros não vida são calculadas separadamente em provisão para sinistros (respeitantes a sinistros ocorridos) e provisão para prémios (relativamente a sinistros futuros que são cobertos pelas responsabilidades abrangidas pelos limites dos contratos existentes). No que diz respeito a seguros vida, as melhores estimativas devem ser calculadas separadamente para cada apólice. As responsabilidades de acidentes de trabalho apresentam a particularidade de serem compostas por diferentes naturezas, o que proporciona na sua modelização a aplicação de metodologias atuariais não-vida e vida. Em Solvência II, estas responsabilidades são divididas em duas classes de negócio: acidentes de trabalho utilizando bases técnicas não semelhante a técnicas de vida (NSTV) e rendas decorrentes de contratos de seguro de natureza não vida e relacionados com responsabilidades de seguro de acidentes e doença utilizando bases técnicas semelhantes a técnicas de vida (STV). A abordagem ao tema foi realizada de forma separada tendo em consideração a desagregação da melhor estimativa em Solvência II, e as diferentes responsabilidades de acidentes de trabalho: não semelhantes e semelhantes a técnicas de vida. Devido à literatura existente para provisionamento ser bastante diversificada, o trabalho foi desenvolvido com foco nas metodologias que mais frequentemente são aplicadas no mercado segurador.
This work presents an analysis to the Workers' Compensation best estimate under the Solvency II regime that came into force in January 1st 2016, modelling the liabilities based on the applicable legislation, mainly the Law 98/2009. Within the scope of Solvency II, the best estimate of non-life liabilities are calculated separately under claims provision (concerning claims that have already happened) and premium provision (concerning future claims that are covered by the existing contractual obligations). The best estimate of life liabilities should be calculated separately for each policy. Workers' Compensation presents the particularity of being composed of different natured liabilities, which provides in its modeling the application of life and non-life actuarial methodologies. Under Solvency II, these liabilities are split into two lines of business: Workers' Compensation insurance using non similar to life techniques (NSLT) and annuities stemming from non-life insurance contracts and relating to health insurance obligations using similar to life techniques (SLT). The approach to this report was conducted separately considering the breakdown of the best estimate under Solvency II and the Workers' Compensation liabilities divided into non similar and similar to life techniques. Due to the diversification of existing literature, this work has been developed focusing on the methodologies that are most frequently applied in the insurance market.
info:eu-repo/semantics/publishedVersion
Kaminagakura, Ivan Eiji. "Aproximando-se da maternidade: entrevistas com uma gestante à luz da psicanálise winnicottiana". Universidade de São Paulo, 2016. http://www.teses.usp.br/teses/disponiveis/47/47131/tde-22092016-153010/.
Texto completoThis thesis aims to contribute to the understanding of the phenomenon called by Winnicott primary maternal preoccupation, which is a temporary state of great sensitivity and vulnerability that allows the mother to identify with the baby, adapting to the needs of the same. In this condition the mother uses her own experience of being cared for as a baby, and needs environmental protection, to be able to devote and to be good enough. Being a qualitative research, interviews were conducted biweekly, using semi structured opened questions, with a pregnant woman during the last three months of pregnancy and three months postpartum in order to keep up with the changes experienced due to her sensitive condition. The interviews were recorded, transcribed and analyzed based on Winnicott\'s psychoanalysis. In the analysis it was emphasized the role of environment and the life story of the interviewee, and how these elements have facilitated or hindered the entry in the primary maternal preoccupation. It was also possible to find similarities between the sensitivity and vulnerability of pregnant women with the regression phenomenon, as well as following the recovery of infantile conflicts that emerged at the end of pregnancy. The research ended up being part of the environmental care, since it offered a space for holding and listening to the expression of anguish and personal conflicts of the interviewee. However, at the end of the research, the primary maternal preoccupation was not found as a pure solid state, being understood as a set of adaptive moments, that they can occur depending on the mental health of women and the support she receives during pregnancy and postpartum period
Lourenco, Karina Gomes. "Nível de atendimento dos materiais classificados como críticos no Hospital Universitário da USP". Universidade de São Paulo, 2006. http://www.teses.usp.br/teses/disponiveis/7/7131/tde-02102006-123541/.
Texto completoFrequently, the lack of the materials of consumption in the hospital units is a faced difficulty for the professionals of the health, mainly in the public institutions. For leading to the discontinuity of the given assistance, some tools of the supplies management come being incorporated to hospital environments, with the purpose to minimize these lacks, between them the classification of materials XYZ. This classification is based on the operational importance of supplies, characterized for the impressively and critically of the same ones in relation to excessively supplies. It allows to fix levels of attendance (NA) adjusted to different supplies used that they possess different degrees of criticality and to admit percentages of levels lacks (NF). This study had as objective to raise the number of requests not taken care of the classified supplies as Z in the assistants units, to calculate NA and the average NF of the 20 supplies that had more lacked and to know the possible causes that had led to these lacks. She opted herself to working with classified materials as Z for being essential to the assistance and that therefore they must have a NA next to 100% and NF to 0%. One is about a quantitative, explorative, descriptive study. The sample was constituted by 747 requests not taken care of 18 assistants units, in the period of June to November of 2005. The results had shown that of 572 materials Z, 227 (39,7%) had presented some lack. 100% of the sectors had lived deeply the lack of material resources. The delay in the delivery for the supplier was the most representative cause of the not attendance of the requests, 39%. The NAs had varied of 92,11% to 27,08% and, consequently, the NFs had presented values between 7,89% to 72,92%. These values evidence the necessity of adjustments in the system of management of these resources with the purpose not to cause interruptions in the given assistance.
Belchior, Flávio Silva. "Planejamento da provisão para contingência tributária federal". Pontifícia Universidade Católica de São Paulo, 2011. https://tede2.pucsp.br/handle/handle/1477.
Texto completoWith the edition of Law nº 11.638/07, amending provisions of Law n°. 6404/76, officially began the process convergence of Brazilian accounting standards with international accounting standards (International Financial Reporting Standards - IFRS) issued by the International Accounting Standards Board (IASB). Earlier, the Brazilian Institute of Independent Auditors (IBRACON) had already published the Accounting Standard and Procedure nº 22 (October 2005), since in order to harmonize accounting norms on Liabilities, Contingent Liabilities and Contingent Active at international (in this case, the International Accounting Standard 37). The present work aims to draw a parallel between the rules currently in place with the Brazilian reality as to time to conduct judicial proceedings in order to detect which time (time) most appropriate for the eventual recognition a provision, contingent liability for the federal tax. They were used part of the result of research conducted by the Institute for Applied Economic Research IPEA, recently advertised through Announcements No. 83 and 87 (Unit Cost of Execution Process Audit in the Federal Court), and its Research Report, which uses ABC method to describe and measure the activities of the Federal Court. This research is descriptive and their approach, analysis and interpretation of data occurs quantitatively and qualitatively. The population is 184 and the federal courts is the sample of 1,510 court cases completed in 2009
Com a edição da Lei n° 11.638/07, alterando disposi tivos da Lei n°6.404/76, começou oficialmente o processo convergência do padrão contábil brasileiro às normais internacionais de contabilidade (International Financial Reporting Standards - IFRS), editadas pelo International Accounting Standards Board (IASB). Antes disso, o Instituto dos Auditores Independentes do Brasil (IBRACON) já havia publicado a Norma e Procedimento de Contabilidade n° 22 (outubr o de 2005), já com o objetivo de harmonizar as normas contábeis brasileiras sobre Provisões, Passivos, Contingências Passivas e Contingências Ativas às internacionais (neste caso, a International Accounting Standard 37). O presente trabalho tem por objetivo e traçar um paralelo entre a norma atualmente em vigor com a realidade brasileira quanto ao tempo de tramitação de um processo judicial, a fim de detectar qual o momento (tempo) mais apropriado para o eventual reconhecimento de uma provisão, destinada a contingência passiva tributária federal. Foram utilizados parte do resultado das pesquisas realizadas pelo Instituto de Pesquisa Econômica Aplicada IPEA, recentemente divulgados através dos Comunicados n° 83 e 87 (Custo Unitário do Processo de Execução Fiscal na Justiça Federal), e respectivo Relatório de Pesquisa, na qual utiliza o método ABC (Activity Based Costing) para descrever e mensurar as atividades da Justiça Federal. Este trabalho de pesquisa é descritivo e sua abordagem, análise e interpretação de dados ocorrem de forma quantitativa e qualitativa. A população é de 184 varas federais e a amostra é de 1.510 processos judiciais concluídos no ano de 2009
Ribeiro, Antônio de Cístolo. "Provisões, contingências e normas contábeis: um estudo de gerenciamento de resultados com contencioso legal no Brasil". Universidade de São Paulo, 2012. http://www.teses.usp.br/teses/disponiveis/96/96133/tde-17052012-114448/.
Texto completoGiven the subjectivity inherent in the accounting standards of the International Financial Report Standards (IFRS) that are translated into Portuguese, adapted to local situations and monitored by the Comitê de Pronunciamentos Contábeis (Accounting Standards Board - ASB) and the Brazilian tax legislation, the present study investigated whether there is evidence of the possible occurrence of earnings management practice through provisions related to a litigation process. Since it was an exploratory study, we also tried to understand the peculiarities of the Brazilian tax legislation and the mechanisms used in earnings management practices. The accounting procedure No 25 issued by the Accounting Standards Board (ASB), that is, ASB No 25 regulates the accounting of provisions and contingent assets and liabilities and is a translation and adaptation of the International Accounting Standard No. 37 (IAS 37). It is the document upon which this study was based. We also sought to understand whether after the introduction of the Accounting Standards Board No. 25 there was an increase in the disclosure of accounting information on provisions and contingencies by companies. As a final contribution we explored possible mechanisms to constrain earnings management practices. The study is exploratory and triangulates information from lawyers and auditors, exploring the existence and the mechanism of earnings management through a litigation process and the actions to be taken for its mitigation. The study period is 2006 - 2010, which includes the introduction of act 11631 that incorporates changes to the corporations law and IFRS standards in Brazil. The provisions originated in administrative and judicial tax demands are elements that can be handled by the institutions that use the subjectivity in the interpretation and application of legislation by users and in procedures, in order to improve or worsen the accounting result, thus configuring earnings management practice. The research has shown that due to the intricate tax system in Brazil there is the possibility of earnings management via the constitution of provisions or not. It was also confirmed that after the issuance of ASB No. 25 the companies increased the disclosure of information on provisions, liabilities, assets and contingents.
Pinto, Marcia Helena Baldani. "Eqüidade e o Sistema Único de Saúde: a provisão de serviços públicos odontológicos no estado do Paraná, à luz do princípio da diferença". Universidade de São Paulo, 2006. http://www.teses.usp.br/teses/disponiveis/6/6135/tde-16112006-233653/.
Texto completoObjective: Studies have shown progresses on the promotion of equity in the provision of some health services in the context of SUS. This study aimed to verify if this constitutional principle has been applied to the provision of dental public services in the state of Paraná, considering the concept of vertical equity as described in the Brazilian law. Methods: This ecological study assessed resources, supply and utilization of dental services in towns of Paraná, 2003. Data were obtained from administrative reports, bibliographic references, and official databases available on web. The appraisal of association between indices assessing dental services and socioeconomic status used non parametric statistics, performed by the SPSS 8.0 1997 software. Results: A redistributive trend was identified for federal resources addressed to municipalities for primary health care. The supply and utilization of dental services in units of primary health care also presented a pro-equity trend. However, when considering an index of responsiveness of health systems, two situations were identified: for towns with better-off health systems, the provision of dental services was positively associated with socioeconomic indices; while the remaining towns presented a negative association. The Health Family Program (PSF) presented a more equitable feature than other dental health policies. Conclusions: Progresses on the promotion of equity in the provision of dental public services at Paraná were identified, mainly associated to the implementation of PSF with dental teams. They were discussed as associated with the ability of some municipalities presenting poorer life conditions developing good answers for their health systems.
Libros sobre el tema "Proviso"
Jovan, Moriah. The proviso. Kansas City, MO: B10 Mediaworx, 2008.
Buscar texto completoThe proviso. Kansas City, MO: B10 Mediaworx, 2008.
Buscar texto completoThe lipstick proviso: Women, sex & power in the real world. New York: Doubleday, 1997.
Buscar texto completoCommittee, United States Commission on Civil Rights Illinois Advisory. Race relations and equal education opportunities at Proviso West High School. [Washington, D.C: The Commission, 1996.
Buscar texto completoCommittee, United States Commission on Civil Rights Illinois Advisory. Race relations and equal education opportunities at Proviso West High School. Chicago, IL: U.S. Commission on Civil Rights, Midwestern Regional Office, 1996.
Buscar texto completoAdele, Doherty S., Bennett C. Ray, Meharry Medical College. School of Dentistry. Dept. of Preventive Dentistry and Community Health., Meharry Medical College. Division of Continuing Education. y United States. Alcohol, Drug Abuse, and Mental Health Administration. Office for Substance Abuse Prevention., eds. Substance abuse in dentistry: A proviso for a drug free profession. Brentwood, Tenn: D.S.H. Pub. Co., 1991.
Buscar texto completoUnited States Commission on Civil Rights. Illinois Advisory Committee. Race relations and equal education opportunities at Proviso West High School. [Washington, D.C: The Commission, 1996.
Buscar texto completoHousehold Goods Carriers' Bureau (U.S.), ed. Tariff primer for first proviso household goods shipments: Rating information contained in HGCB interstate tariff series 400-J. Alexandria, VA (1611 Duke St., Alexandria 22314-3482): The Bureau, 1993.
Buscar texto completoWashington State Parks and Recreation Commission. Washington State parks operational funding needs: 1997-99 operating budget proviso, part II : a report to the Legislature. [Olympia, WA] (7150 Clearwater Lane, PO Box 42650, Olympia 98504-2650): Washington State Parks and Recreation Commission, 1999.
Buscar texto completo1920-, Fehrenbacher Don Edward, ed. Sectional crisis and Southern constitutionalism. Baton Rouge: Louisiana State University Press, 1995.
Buscar texto completoCapítulos de libros sobre el tema "Proviso"
Turner, Kenneth J., Evan H. Magill y David J. Marples. "Introduction and Context". En Service Provision, 3–6. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch1.
Texto completoBlair, Gordon S. y Geoff Coulson. "Service Architectures". En Service Provision, 167–88. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch10.
Texto completoBakker, John-Luc y Farooq Anjum. "Service Capability APIs". En Service Provision, 189–216. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch11.
Texto completoTurner, Kenneth J. "Formal Methods for Services". En Service Provision, 217–33. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch12.
Texto completoMagill, Evan H. "Feature Interaction: Old Hat or Deadly New Menace?" En Service Provision, 235–50. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch13.
Texto completoSmith, James T. "Advances in Services". En Service Provision, 253–78. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch14.
Texto completoMartin, Peter y Stephen Corley. "Evolving Service Technology". En Service Provision, 279–99. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch15.
Texto completoMarples, David J., Kenneth J. Turner y Evan H. Magill. "Prospects". En Service Provision, 301–13. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch16.
Texto completoMcBain, Alistair. "Multimedia Technology in a Telecommunications Setting". En Service Provision, 7–28. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch2.
Texto completoClark, Graham M. y Wayne Cutler. "Call Processing". En Service Provision, 29–51. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch3.
Texto completoActas de conferencias sobre el tema "Proviso"
Barnat, Jiri, Lubos Brim y Petr Rockai. "Parallel Partial Order Reduction with Topological Sort Proviso". En 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM). IEEE, 2010. http://dx.doi.org/10.1109/sefm.2010.35.
Texto completoColangeli, Sergio, Patrick E. Longhi, Walter Ciccognani, Antonio Serino y Ernesto Limiti. "Checking Rollett's Proviso for Degenerated Devices through S-Parameter Analysis". En 2022 17th European Microwave Integrated Circuits Conference (EuMIC). IEEE, 2022. http://dx.doi.org/10.23919/eumic54520.2022.9923453.
Texto completoBednarczyk, Bartosz y Sebastian Rudolph. "Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting". En Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}. California: International Joint Conferences on Artificial Intelligence Organization, 2019. http://dx.doi.org/10.24963/ijcai.2019/212.
Texto completoTian, Dave (Jing), Adam Bates, Kevin R. B. Butler y Raju Rangaswami. "ProvUSB". En CCS'16: 2016 ACM SIGSAC Conference on Computer and Communications Security. New York, NY, USA: ACM, 2016. http://dx.doi.org/10.1145/2976749.2978398.
Texto completoBrezovnik, Boštjan. "Local Public Services Provision: Conference Papers". En Local Public Services Provision: Conference Papers. Maribor University Press, 2016. http://dx.doi.org/10.18690/9789616399838.
Texto completoTiomkin, M. "Proving unprovability". En Proceedings Third Annual Symposium on Logic in Computer Science. IEEE, 1988. http://dx.doi.org/10.1109/lics.1988.5097.
Texto completoChen, T. Y., T. H. Tse y Zhiquan Zhou. "Semi-proving". En the international symposium. New York, New York, USA: ACM Press, 2002. http://dx.doi.org/10.1145/566172.566202.
Texto completoCoiteux-Roy, Xavier y Stefan Wolf. "Proving Erasure". En 2019 IEEE International Symposium on Information Theory (ISIT). IEEE, 2019. http://dx.doi.org/10.1109/isit.2019.8849661.
Texto completoAnane, R., S. Crowther, J. Beadle y G. Theodoropoulos. "eLearning content provision". En Proceedings. 15th International Workshop on Database and Expert Systems Applications, 2004. IEEE, 2004. http://dx.doi.org/10.1109/dexa.2004.1333510.
Texto completoLi, Qing, An Liu, Hai Liu, Baoping Lin, Liusheng Huang y Naijie Gu. "Web services provision". En the 3rd International Conference. New York, New York, USA: ACM Press, 2009. http://dx.doi.org/10.1145/1516241.1516257.
Texto completoInformes sobre el tema "Proviso"
Sheikh, Sonja y Alfred Radauer. Evaluierung des Projektes PROVISO 2003 – 2007. KMU Forschung Austria, noviembre de 2005. http://dx.doi.org/10.22163/fteval.2005.190.
Texto completoFuchs, Victor. Provide, Provide: The Economics of Aging. Cambridge, MA: National Bureau of Economic Research, julio de 1998. http://dx.doi.org/10.3386/w6642.
Texto completoAbadi, Martin y Zohar Manna. Modal Theorem Proving,. Fort Belvoir, VA: Defense Technical Information Center, mayo de 1986. http://dx.doi.org/10.21236/ada325959.
Texto completoGoff, David G. Operation Provide Comfort. Fort Belvoir, VA: Defense Technical Information Center, mayo de 1992. http://dx.doi.org/10.21236/ada295955.
Texto completoShankar, Natarajan. PVS Theorem Proving Enhancements. Fort Belvoir, VA: Defense Technical Information Center, junio de 1997. http://dx.doi.org/10.21236/ada326917.
Texto completoHart, Oliver y Luigi Zingales. Inefficient Provision of Liquidity. Cambridge, MA: National Bureau of Economic Research, agosto de 2011. http://dx.doi.org/10.3386/w17299.
Texto completoBellin, Gianluigi y Jussi Ketonen. Experiments in Automatic Theorem Proving. Fort Belvoir, VA: Defense Technical Information Center, diciembre de 1986. http://dx.doi.org/10.21236/ada327449.
Texto completoChandrasekhar, Arun, Robert Townsend y Juan Pablo Xandri. Financial Centrality and Liquidity Provision. Cambridge, MA: National Bureau of Economic Research, marzo de 2018. http://dx.doi.org/10.3386/w24406.
Texto completoChockler, Gregory, Nancy Lynch, Sayan Mitra y Joshua Tauber. Proving Atomicity: An Assertional Approach. Fort Belvoir, VA: Defense Technical Information Center, julio de 2005. http://dx.doi.org/10.21236/ada466773.
Texto completoSantos, Joao A. y S. Vish Viswanathan. Bank Syndicates and Liquidity Provision. Cambridge, MA: National Bureau of Economic Research, agosto de 2020. http://dx.doi.org/10.3386/w27701.
Texto completo