Academic literature on the topic 'Proviso'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Proviso.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Proviso"
Block, Walter E. "Forestalling, Positive Obligations and the Lockean and Blockian Provisos: Rejoinder to Stephan Kinsella." Ekonomia 22, no. 3 (November 21, 2016): 27–41. http://dx.doi.org/10.19195/2084-4093.22.3.2.
Full textRodgers, Lamont. "The role of nature in the self-ownership proviso." ethic@ - An international Journal for Moral Philosophy 20, no. 1 (April 30, 2021): 326–43. http://dx.doi.org/10.5007/1677-2954.2021.e78304.
Full textBornschein, Peter. "The self-ownership proviso." Politics, Philosophy & Economics 17, no. 4 (March 15, 2018): 339–55. http://dx.doi.org/10.1177/1470594x18762256.
Full textVarden, Helga. "The Lockean ‘Enough-and-as-Good’ Proviso: An Internal Critique." Journal of Moral Philosophy 9, no. 3 (2012): 410–42. http://dx.doi.org/10.1163/174552412x625772.
Full textMack, Eric. "The Self-Ownership Proviso: A New and Improved Lockean Proviso." Social Philosophy and Policy 12, no. 1 (1995): 186–218. http://dx.doi.org/10.1017/s0265052500004611.
Full textSumika, Masayoshi. "Behind the Mask of the Secular." Journal of Religion in Japan 5, no. 2-3 (2016): 153–75. http://dx.doi.org/10.1163/22118349-00502005.
Full textEhman, Robert. "Nozick's Proviso." Journal of Value Inquiry 20, no. 1 (1986): 51–56. http://dx.doi.org/10.1007/bf00141920.
Full textSlaev, Aleksandar D. "The Transaction Costs of Sustainability: Coase’s Proviso and the Roles of Environmentalists and the Government." Sustainability 15, no. 4 (February 8, 2023): 3096. http://dx.doi.org/10.3390/su15043096.
Full textWinter, Yoad. "On Presupposition Projection with Trivalent Connectives." Semantics and Linguistic Theory 29 (December 13, 2019): 582. http://dx.doi.org/10.3765/salt.v29i0.4644.
Full textCoutts, J. A. "Applying the Proviso." Journal of Criminal Law 53, no. 2 (May 1989): 210–14. http://dx.doi.org/10.1177/002201838905300205.
Full textDissertations / Theses on the topic "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.
Full textBornschein, Peter. "Right-Libertarianism and the Destitution Objection." Bowling Green State University / OhioLINK, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=bgsu1462900713.
Full textPillay, 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.
Full textIn 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.
Full textCarvalho, 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.
Full textO 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/.
Full textThis 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/.
Full textFrequently, 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.
Full textWith 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/.
Full textGiven 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/.
Full textObjective: 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.
Books on the topic "Proviso"
Jovan, Moriah. The proviso. Kansas City, MO: B10 Mediaworx, 2008.
Find full textThe proviso. Kansas City, MO: B10 Mediaworx, 2008.
Find full textThe lipstick proviso: Women, sex & power in the real world. New York: Doubleday, 1997.
Find full textCommittee, 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.
Find full textCommittee, 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.
Find full textAdele, 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., and 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.
Find full textUnited 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.
Find full textHousehold 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.
Find full textWashington 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.
Find full text1920-, Fehrenbacher Don Edward, ed. Sectional crisis and Southern constitutionalism. Baton Rouge: Louisiana State University Press, 1995.
Find full textBook chapters on the topic "Proviso"
Turner, Kenneth J., Evan H. Magill, and David J. Marples. "Introduction and Context." In Service Provision, 3–6. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch1.
Full textBlair, Gordon S., and Geoff Coulson. "Service Architectures." In Service Provision, 167–88. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch10.
Full textBakker, John-Luc, and Farooq Anjum. "Service Capability APIs." In Service Provision, 189–216. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch11.
Full textTurner, Kenneth J. "Formal Methods for Services." In Service Provision, 217–33. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch12.
Full textMagill, Evan H. "Feature Interaction: Old Hat or Deadly New Menace?" In Service Provision, 235–50. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch13.
Full textSmith, James T. "Advances in Services." In Service Provision, 253–78. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch14.
Full textMartin, Peter, and Stephen Corley. "Evolving Service Technology." In Service Provision, 279–99. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch15.
Full textMarples, David J., Kenneth J. Turner, and Evan H. Magill. "Prospects." In Service Provision, 301–13. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch16.
Full textMcBain, Alistair. "Multimedia Technology in a Telecommunications Setting." In Service Provision, 7–28. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch2.
Full textClark, Graham M., and Wayne Cutler. "Call Processing." In Service Provision, 29–51. Chichester, UK: John Wiley & Sons, Ltd, 2005. http://dx.doi.org/10.1002/0470020504.ch3.
Full textConference papers on the topic "Proviso"
Barnat, Jiri, Lubos Brim, and Petr Rockai. "Parallel Partial Order Reduction with Topological Sort Proviso." In 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM). IEEE, 2010. http://dx.doi.org/10.1109/sefm.2010.35.
Full textColangeli, Sergio, Patrick E. Longhi, Walter Ciccognani, Antonio Serino, and Ernesto Limiti. "Checking Rollett's Proviso for Degenerated Devices through S-Parameter Analysis." In 2022 17th European Microwave Integrated Circuits Conference (EuMIC). IEEE, 2022. http://dx.doi.org/10.23919/eumic54520.2022.9923453.
Full textBednarczyk, Bartosz, and Sebastian Rudolph. "Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting." In 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.
Full textTian, Dave (Jing), Adam Bates, Kevin R. B. Butler, and Raju Rangaswami. "ProvUSB." In 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.
Full textBrezovnik, Boštjan. "Local Public Services Provision: Conference Papers." In Local Public Services Provision: Conference Papers. Maribor University Press, 2016. http://dx.doi.org/10.18690/9789616399838.
Full textTiomkin, M. "Proving unprovability." In Proceedings Third Annual Symposium on Logic in Computer Science. IEEE, 1988. http://dx.doi.org/10.1109/lics.1988.5097.
Full textChen, T. Y., T. H. Tse, and Zhiquan Zhou. "Semi-proving." In the international symposium. New York, New York, USA: ACM Press, 2002. http://dx.doi.org/10.1145/566172.566202.
Full textCoiteux-Roy, Xavier, and Stefan Wolf. "Proving Erasure." In 2019 IEEE International Symposium on Information Theory (ISIT). IEEE, 2019. http://dx.doi.org/10.1109/isit.2019.8849661.
Full textAnane, R., S. Crowther, J. Beadle, and G. Theodoropoulos. "eLearning content provision." In Proceedings. 15th International Workshop on Database and Expert Systems Applications, 2004. IEEE, 2004. http://dx.doi.org/10.1109/dexa.2004.1333510.
Full textLi, Qing, An Liu, Hai Liu, Baoping Lin, Liusheng Huang, and Naijie Gu. "Web services provision." In the 3rd International Conference. New York, New York, USA: ACM Press, 2009. http://dx.doi.org/10.1145/1516241.1516257.
Full textReports on the topic "Proviso"
Sheikh, Sonja, and Alfred Radauer. Evaluierung des Projektes PROVISO 2003 – 2007. KMU Forschung Austria, November 2005. http://dx.doi.org/10.22163/fteval.2005.190.
Full textFuchs, Victor. Provide, Provide: The Economics of Aging. Cambridge, MA: National Bureau of Economic Research, July 1998. http://dx.doi.org/10.3386/w6642.
Full textAbadi, Martin, and Zohar Manna. Modal Theorem Proving,. Fort Belvoir, VA: Defense Technical Information Center, May 1986. http://dx.doi.org/10.21236/ada325959.
Full textGoff, David G. Operation Provide Comfort. Fort Belvoir, VA: Defense Technical Information Center, May 1992. http://dx.doi.org/10.21236/ada295955.
Full textShankar, Natarajan. PVS Theorem Proving Enhancements. Fort Belvoir, VA: Defense Technical Information Center, June 1997. http://dx.doi.org/10.21236/ada326917.
Full textHart, Oliver, and Luigi Zingales. Inefficient Provision of Liquidity. Cambridge, MA: National Bureau of Economic Research, August 2011. http://dx.doi.org/10.3386/w17299.
Full textBellin, Gianluigi, and Jussi Ketonen. Experiments in Automatic Theorem Proving. Fort Belvoir, VA: Defense Technical Information Center, December 1986. http://dx.doi.org/10.21236/ada327449.
Full textChandrasekhar, Arun, Robert Townsend, and Juan Pablo Xandri. Financial Centrality and Liquidity Provision. Cambridge, MA: National Bureau of Economic Research, March 2018. http://dx.doi.org/10.3386/w24406.
Full textChockler, Gregory, Nancy Lynch, Sayan Mitra, and Joshua Tauber. Proving Atomicity: An Assertional Approach. Fort Belvoir, VA: Defense Technical Information Center, July 2005. http://dx.doi.org/10.21236/ada466773.
Full textSantos, Joao A., and S. Vish Viswanathan. Bank Syndicates and Liquidity Provision. Cambridge, MA: National Bureau of Economic Research, August 2020. http://dx.doi.org/10.3386/w27701.
Full text