Dissertations / Theses on the topic 'Higher order logics'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Higher order logics.'
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.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
Assaf, Ali. "A framework for defining computational higher-order logics." Palaiseau, Ecole polytechnique, 2015. https://theses.hal.science/tel-01235303v4/document.
Full textFreire, Cibele Matos. "Complexidade descritiva das lÃgicas de ordem superior com menor ponto fixo e anÃlise de expressividade de algumas lÃgicas modais." Universidade Federal do CearÃ, 2010. http://www.teses.ufc.br/tde_busca/arquivo.php?codArquivo=6359.
Full textTEICA, ELENA. "FORMAL CORRECTNESS AND COMPLETENESS FOR A SET OF UNINTERPRETED RTL TRANSFORMATIONS." University of Cincinnati / OhioLINK, 2001. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1001432470.
Full textFreire, Cibele Matos. "Complexidade descritiva das lógicas de ordem superior com menor ponto fixo e análise de expressividade de algumas lógicas modais." reponame:Repositório Institucional da UFC, 2010. http://www.repositorio.ufc.br/handle/riufc/17668.
Full textKrishnaswami, Neelakantan R. "Verifying Higher-Order Imperative Programs with Higher-Order Separation Logic." Research Showcase @ CMU, 2012. http://repository.cmu.edu/dissertations/164.
Full textZardini, Elia. "Living on the slippery slope : the nature, sources and logic of vagueness." Thesis, St Andrews, 2008. http://hdl.handle.net/10023/508.
Full textNesi, Monica. "Formalising process calculi in higher order logic." Thesis, University of Cambridge, 1996. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.627495.
Full textCamilleri, Albert John. "Executing behavioural definitions in Higher Order Logic." Thesis, University of Cambridge, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.232795.
Full textSultana, Nikolai. "Higher-order proof translation." Thesis, University of Cambridge, 2015. https://www.repository.cam.ac.uk/handle/1810/247345.
Full textFritz, Peter. "Intensional type theory for higher-order contingentism." Thesis, University of Oxford, 2015. http://ora.ox.ac.uk/objects/uuid:b9415266-ad21-494a-9a78-17d2395eb8dd.
Full textHaftmann, Florian. "Code generation from specifications in higher-order logic." kostenfrei, 2009. https://mediatum2.ub.tum.de/node?id=886023.
Full textCardell-Oliver, Rachel Mary. "The formal verification of hard real-time systems." Thesis, University of Cambridge, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.239756.
Full textBerghofer, Stefan. "Proofs, programs and executable specifications in higher order logic." [S.l. : s.n.], 2003. http://deposit.ddb.de/cgi-bin/dokserv?idn=969627661.
Full textBruse, Florian [Verfasser]. "Extremal fixpoints for higher-order modal logic / Florian Bruse." Kassel : Universitätsbibliothek Kassel, 2020. http://d-nb.info/1220854093/34.
Full textGrellois, Charles. "Semantics of linear logic and higher-order model-checking." Sorbonne Paris Cité, 2016. http://www.theses.fr/2016USPCC024.
Full textDhingra, Inderpreet Singh. "Formalising an integrated circuit design style in higher order logic." Thesis, University of Cambridge, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.278296.
Full textMelham, Thomas Frederick. "Formalizing abstraction mechanisms for hardware verification in higher order logic." Thesis, University of Cambridge, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.334206.
Full textGilbert, Frédéric. "Extending higher-order logic with predicate subtyping : application to PVS." Thesis, Sorbonne Paris Cité, 2018. http://www.theses.fr/2018USPCC009/document.
Full textPandya, Rashmibala. "A multi-layered framework for higher order probabilistic reasoning." Thesis, University of Exeter, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.364432.
Full textMiura, Kinya. "Proof System of Higher-Order Clausal Logic and its Parallel Implementation." Kyoto University, 1995. http://hdl.handle.net/2433/160754.
Full textMartin, Alan J. "Reasoning Using Higher-Order Abstract Syntax in a Higher-Order Logic Proof Environment: Improvements to Hybrid and a Case Study." Thesis, Université d'Ottawa / University of Ottawa, 2010. http://hdl.handle.net/10393/19711.
Full textBattell, Chelsea. "The Logic of Hereditary Harrop Formulas as a Specification Logic for Hybrid." Thesis, Université d'Ottawa / University of Ottawa, 2016. http://hdl.handle.net/10393/35264.
Full textNg, Kee Siong, and kee siong@rsise anu edu au. "Learning Comprehensible Theories from Structured Data." The Australian National University. Research School of Information Sciences and Engineering, 2005. http://thesis.anu.edu.au./public/adt-ANU20051031.105726.
Full textKotzsch, Hans-Christoph [Verfasser], and Hannes [Akademischer Betreuer] Leitgeb. "Topos semantics for higher-order modal logic / Hans-Christoph Kotzsch ; Betreuer: Hannes Leitgeb." München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2016. http://d-nb.info/1125883928/34.
Full textMukhopadhyay, Trisha. "A Flexible, Natural Deduction, Automated Reasoner for Quick Deployment of Non-Classical Logic." Scholar Commons, 2019. https://scholarcommons.usf.edu/etd/7862.
Full textAtzemoglou, George Philip. "Higher-order semantics for quantum programming languages with classical control." Thesis, University of Oxford, 2012. http://ora.ox.ac.uk/objects/uuid:9fdc4a26-cce3-48ed-bbab-d54c4917688f.
Full textReynolds, James. "An automatic proof-generating translation from higher-order to first-order logic : with applications to linking HOL4 and ACL2." Thesis, University of Cambridge, 2009. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.611133.
Full textKohlhase, Michael [Verfasser]. "A Mechanization of Sorted Higher-Order Logic Based on the Resolution Principle / Michael Kohlhase." Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 1999. http://d-nb.info/1027386598/34.
Full textBulwahn, Lukas [Verfasser], Tobias [Akademischer Betreuer] Nipkow, and Colin [Akademischer Betreuer] Runciman. "Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming / Lukas Bulwahn. Gutachter: Tobias Nipkow ; Colin Runciman. Betreuer: Tobias Nipkow." München : Universitätsbibliothek der TU München, 2013. http://d-nb.info/1033891142/34.
Full textSofianatos, Georgios. "Higher order QCD effects for Higgs boson studies at colliders /." May be available electronically:, 2009. http://proquest.umi.com/login?COPT=REJTPTU1MTUmSU5UPTAmVkVSPTI=&clientId=12498.
Full textBöhme, Sascha Verfasser], Tobias [Akademischer Betreuer] [Nipkow, and Andrey [Akademischer Betreuer] Rybalchenko. "Proving Theorems of Higher-Order Logic with SMT Solvers / Sascha Böhme. Gutachter: Andrey Rybalchenko. Betreuer: Tobias Nipkow." München : Universitätsbibliothek der TU München, 2012. http://d-nb.info/1023128497/34.
Full textKohlhase, Michael [Verfasser], and Jörg [Akademischer Betreuer] Siekmann. "A mechanization of sorted higher-order logic based on the resolution principle / Michael Kohlhase. Betreuer: Jörg Siekmann." Saarbrücken : Saarländische Universitäts- und Landesbibliothek, 2007. http://d-nb.info/1049538501/34.
Full textCarreno, Coll Victor Alberto. "Transition assertions : a higher-order logic based method for the specification and verification of real-time systems." Thesis, University of Cambridge, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.627145.
Full textWong, Wai. "A formal theory of railway track networks in higher-order logic and its applications in interlocking design." Thesis, University of Warwick, 1992. http://wrap.warwick.ac.uk/110541/.
Full textAnglès, d'Auriac Paul-Elliot. "Infinite Computations in Algorithmic Randomness and Reverse Mathematics." Thesis, Paris Est, 2019. http://www.theses.fr/2019PESC0061.
Full textRaghunandan, Jayshan. "Curry-Howard Calculi from Classical Logical Connectives : A Generic Tool for Higher-Order Term Graph Rewriting." Thesis, Imperial College London, 2009. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.508781.
Full textBlanchette, Jasmin Christian Verfasser], Tobias [Akademischer Betreuer] [Nipkow, and Koen [Akademischer Betreuer] Claessen. "Automatic Proofs and Refutations for Higher-Order Logic / Jasmin Christian Blanchette. Gutachter: Tobias Nipkow ; Koen Claessen. Betreuer: Tobias Nipkow." München : Universitätsbibliothek der TU München, 2012. http://d-nb.info/1024354997/34.
Full textBlanchette, Jasmin [Verfasser], Tobias [Akademischer Betreuer] Nipkow, and Koen [Akademischer Betreuer] Claessen. "Automatic Proofs and Refutations for Higher-Order Logic / Jasmin Christian Blanchette. Gutachter: Tobias Nipkow ; Koen Claessen. Betreuer: Tobias Nipkow." München : Universitätsbibliothek der TU München, 2012. http://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20120628-1097834-1-6.
Full textDubcová, Lenka. "Novel self-adaptive higher-order finite elements methods for Maxwell's equations of electromagnetics." To access this resource online via ProQuest Dissertations and Theses @ UTEP, 2008. http://0-proquest.umi.com.lib.utep.edu/login?COPT=REJTPTU0YmImSU5UPTAmVkVSPTI=&clientId=2515.
Full textWisnesky, Ryan. "Functional Query Languages with Categorical Types." Thesis, Harvard University, 2013. http://dissertations.umi.com/gsas.harvard:11288.
Full textKunčar, Ondřej Verfasser], Tobias [Akademischer Betreuer] [Gutachter] [Nipkow, and Lawrence C. [Gutachter] Paulson. "Types, Abstraction and Parametric Polymorphism in Higher-Order Logic / Ondřej Kunčar. Betreuer: Tobias Nipkow. Gutachter: Lawrence C. Paulson ; Tobias Nipkow." München : Universitätsbibliothek der TU München, 2016. http://d-nb.info/1106382153/34.
Full textTian, Chun. "A formalization of unique solutions of equations in process algebra." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/14798/.
Full textSbardolini, Giorgio. "From Language to Thought: On the Logical Foundations of Semantic Theory." The Ohio State University, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=osu155307880402531.
Full textBacon, Andrew Jonathan. "Indeterminacy : an investigation into the Soritical and semantical paradoxes." Thesis, University of Oxford, 2012. http://ora.ox.ac.uk/objects/uuid:b4490a8c-0089-4c77-8d24-1ab1ca5baaf0.
Full textHölzl, Johannes Verfasser], Tobias [Akademischer Betreuer] [Nipkow, and Estaun Francisco Javier [Akademischer Betreuer] Esparza. "Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic / Johannes Hölzl. Gutachter: Tobias Nipkow ; Francisco Javier Esparza Estaun. Betreuer: Tobias Nipkow." München : Universitätsbibliothek der TU München, 2013. http://d-nb.info/1033640344/34.
Full textWorth, Andrew Christopher. "English Coordination in Linear Categorial Grammar." The Ohio State University, 2016. http://rave.ohiolink.edu/etdc/view?acc_num=osu1451933040.
Full textHague, Matthew. "Saturation methods for global model-checking pushdown systems." Thesis, University of Oxford, 2009. http://ora.ox.ac.uk/objects/uuid:40263ddb-312d-4e18-b774-2caf4def0e76.
Full textJacinto, Bruno. "Necessitism, contingentism and theory equivalence." Thesis, University of St Andrews, 2016. http://hdl.handle.net/10023/8814.
Full textMaffre, Faustine. "Le bonheur est dans l'ignorance : logiques épistémiques dynamiques basées sur l'observabilité et leurs applications." Thesis, Toulouse 3, 2016. http://www.theses.fr/2016TOU30112/document.
Full textLundberg, Didrik. "Provably Sound and Secure Automatic Proving and Generation of Verification Conditions." Thesis, KTH, Teoretisk datalogi, TCS, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-239441.
Full text