Academic literature on the topic 'Graph theory. Recursion theory'
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 'Graph theory. Recursion theory.'
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 "Graph theory. Recursion theory"
Gasarch, William, and Jeffry L. Hirst. "Reverse Mathematics and Recursive Graph Theory." Mathematical Logic Quarterly 44, no. 4 (1998): 465–73. http://dx.doi.org/10.1002/malq.19980440405.
Full textHong, Kyungpyo, and Seungsang Oh. "Enumeration on graph mosaics." Journal of Knot Theory and Its Ramifications 26, no. 05 (2017): 1750032. http://dx.doi.org/10.1142/s0218216517500328.
Full textDeng, Qingying, Xian’an Jin, and Louis H. Kauffman. "Graphical virtual links and a polynomial for signed cyclic graphs." Journal of Knot Theory and Its Ramifications 27, no. 10 (2018): 1850054. http://dx.doi.org/10.1142/s0218216518500542.
Full textKierstead, H. A., S. G. Penrice, and W. T. Trotter. "On-Line Coloring and Recursive Graph Theory." SIAM Journal on Discrete Mathematics 7, no. 1 (1994): 72–89. http://dx.doi.org/10.1137/s0895480192224737.
Full textHAMANA, MAKOTO, KAZUTAKA MATSUDA, and KAZUYUKI ASADA. "The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics." Mathematical Structures in Computer Science 28, no. 2 (2016): 287–337. http://dx.doi.org/10.1017/s096012951600027x.
Full textTRALDI, LORENZO. "A BRACKET POLYNOMIAL FOR GRAPHS, II: LINKS, EULER CIRCUITS AND MARKED GRAPHS." Journal of Knot Theory and Its Ramifications 19, no. 04 (2010): 547–86. http://dx.doi.org/10.1142/s0218216510007978.
Full textTRALDI, LORENZO. "A BRACKET POLYNOMIAL FOR GRAPHS, IV: UNDIRECTED EULER CIRCUITS, GRAPH-LINKS AND MULTIPLY MARKED GRAPHS." Journal of Knot Theory and Its Ramifications 20, no. 08 (2011): 1093–128. http://dx.doi.org/10.1142/s0218216511009157.
Full textHallouin, Emmanuel, and Marc Perret. "Recursive Towers of Curves over Finite Fields using Graph Theory." Moscow Mathematical Journal 14, no. 4 (2014): 773–806. http://dx.doi.org/10.17323/1609-4514-2014-14-4-773-806.
Full textDurand, Arnaud, Neil D. Jones, Johann A. Makowsky, and Malika More. "Fifty years of the spectrum problem: survey and new results." Bulletin of Symbolic Logic 18, no. 4 (2012): 505–53. http://dx.doi.org/10.2178/bsl.1804020.
Full textSHENOY, PRAKASH P. "REPRESENTING CONDITIONAL INDEPENDENCE RELATIONS BY VALUATION NETWORKS." International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 02, no. 02 (1994): 143–65. http://dx.doi.org/10.1142/s0218488594000134.
Full textDissertations / Theses on the topic "Graph theory. Recursion theory"
Hunt, D'Hania J. "Constructing higher-order de Bruijn graphs." Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 2002. http://library.nps.navy.mil/uhtbin/hyperion-image/02Jun%5FHunt.pdf.
Full textBurns, Jonathan. "Recursive Methods in Number Theory, Combinatorial Graph Theory, and Probability." Scholar Commons, 2014. https://scholarcommons.usf.edu/etd/5193.
Full textFavaro, Flavia Fernanda. "A teoria dos grafos e sua abordagem na sala de aula com recursos educacionais digitais /." Rio Claro, 2017. http://hdl.handle.net/11449/152457.
Full textFavaro, Flavia Fernanda [UNESP]. "A teoria dos grafos e sua abordagem na sala de aula com recursos educacionais digitais." Universidade Estadual Paulista (UNESP), 2017. http://hdl.handle.net/11449/152457.
Full textYalcin, Bayramoglu Neslihan. "Recursive Shortest Spanning Tree Algorithms For Image Segmentatiton." Master's thesis, METU, 2005. http://etd.lib.metu.edu.tr/upload/2/12606219/index.pdf.
Full textSeetapun, David. "Contributions to recursion theory." Thesis, University of Cambridge, 1991. https://www.repository.cam.ac.uk/handle/1810/251510.
Full textMarcus, Sherry Elizabeth 1966. "Contributions to higher recursion theory." Thesis, Massachusetts Institute of Technology, 1993. http://hdl.handle.net/1721.1/28018.
Full textEmerson, Guy Edward Toh. "Functional distributional semantics : learning linguistically informed representations from a precisely annotated corpus." Thesis, University of Cambridge, 2018. https://www.repository.cam.ac.uk/handle/1810/284882.
Full textGloor, Oliver Gloor Oliver Patrik Andreas. "Galois theory for combinatory algebras and its application to recursion theory /." [S.l.] : [s.n.], 1995. http://e-collection.ethbib.ethz.ch/show?type=diss&nr=11095.
Full textZuppiroli, Sara <1979>. "Probabilistic Recursion Theory and Implicit Computational Complexity." Doctoral thesis, Alma Mater Studiorum - Università di Bologna, 2014. http://amsdottorato.unibo.it/6723/.
Full textBooks on the topic "Graph theory. Recursion theory"
Yao, Qing. Directed acyclic graphs, linear recursive regression, and inference about causal ordering. University of Toronto, Dept. of Statistics, 1993.
Find full textShoenfield, Joseph R. Recursion Theory. Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/978-3-662-22378-9.
Full textNerode, Anil, and Richard Shore, eds. Recursion Theory. American Mathematical Society, 1985. http://dx.doi.org/10.1090/pspum/042.
Full textSacks, Gerald E. Higher Recursion Theory. Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/978-3-662-12013-2.
Full textAmbos-Spies, Klaus, Gert H. Müller, and Gerald E. Sacks, eds. Recursion Theory Week. Springer Berlin Heidelberg, 1990. http://dx.doi.org/10.1007/bfb0086109.
Full textBook chapters on the topic "Graph theory. Recursion theory"
Ahlswede, R., N. Cai, and Z. Zhang. "A Recursive Bound for the Number of Complete K-Subgraphs of a Graph." In Topics in Combinatorics and Graph Theory. Physica-Verlag HD, 1990. http://dx.doi.org/10.1007/978-3-642-46908-4_3.
Full textHomer, Steve. "Admissible Recursion Theory." In Recursion Theory and Computational Complexity. Springer Berlin Heidelberg, 2010. http://dx.doi.org/10.1007/978-3-642-11072-6_1.
Full textMoschovakis, Yiannis. "The recursion theorem." In Descriptive Set Theory. American Mathematical Society, 2009. http://dx.doi.org/10.1090/surv/155/08.
Full textKirwan, Brock, and Ty Bodily. "Graph Theory." In Encyclopedia of Clinical Neuropsychology. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-57111-9_9069.
Full textSucar, Luis Enrique. "Graph Theory." In Probabilistic Graphical Models. Springer London, 2015. http://dx.doi.org/10.1007/978-1-4471-6699-3_3.
Full textProth, J. M., and H. P. Hillion. "Graph Theory." In Mathematical Tools in Production Management. Springer US, 1990. http://dx.doi.org/10.1007/978-1-4615-9558-8_9.
Full textSoberón, Pablo. "Graph Theory." In Problem-Solving Methods in Combinatorics. Springer Basel, 2013. http://dx.doi.org/10.1007/978-3-0348-0597-1_4.
Full textShier, Douglas R. "Graph Theory." In Encyclopedia of Operations Research and Management Science. Springer US, 2013. http://dx.doi.org/10.1007/978-1-4419-1153-7_402.
Full textO’Regan, Gerard. "Graph Theory." In Undergraduate Topics in Computer Science. Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-34209-8_9.
Full textFagnani, Fabio, and Paolo Frasca. "Graph Theory." In Introduction to Averaging Dynamics over Networks. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-68022-4_1.
Full textConference papers on the topic "Graph theory. Recursion theory"
Tsai, Lung-Wen, Dar-Zen Chen, and Ta-Wei Lin. "Dynamic Analysis of Geared Robotic Mechanisms Using Graph Theory." In ASME 1996 Design Engineering Technical Conferences and Computers in Engineering Conference. American Society of Mechanical Engineers, 1996. http://dx.doi.org/10.1115/96-detc/mech-1554.
Full textJacob-Rao, Rohan, Andrew Cave, and Brigitte Pientka. "Mechanizing Proofs about Mendler-style Recursion." In LFMTP '16: Theory and Practice. ACM, 2016. http://dx.doi.org/10.1145/2966268.2966269.
Full textFreeman, Jason. "Graph theory." In ACM SIGGRAPH 2008 art gallery. ACM Press, 2008. http://dx.doi.org/10.1145/1400385.1400449.
Full textFreeman, Jason. "Graph theory." In the 6th ACM SIGCHI conference. ACM Press, 2007. http://dx.doi.org/10.1145/1254960.1254998.
Full textFreeman, Jason. "Graph theory." In the 7th international conference. ACM Press, 2007. http://dx.doi.org/10.1145/1279740.1279794.
Full textMamouras, Konstantinos. "On the Hoare theory of monadic recursion schemes." In CSL-LICS '14: JOINT MEETING OF the Twenty-Third EACSL Annual Conference on COMPUTER SCIENCE LOGIC. ACM, 2014. http://dx.doi.org/10.1145/2603088.2603157.
Full textTHOMASSEN, CARSTEN. "CHROMATIC GRAPH THEORY." In Proceedings of the International Conference on Fundamental Sciences: Mathematics and Theoretical Physics. WORLD SCIENTIFIC, 2001. http://dx.doi.org/10.1142/9789812811264_0008.
Full textMøgelberg, Rasmus Ejlers. "A type theory for productive coprogramming via guarded recursion." In CSL-LICS '14: JOINT MEETING OF the Twenty-Third EACSL Annual Conference on COMPUTER SCIENCE LOGIC. ACM, 2014. http://dx.doi.org/10.1145/2603088.2603132.
Full textLoukanova, Roussanka. "Algorithmic Eta-reduction in Type-theory of Acyclic Recursion." In 12th International Conference on Agents and Artificial Intelligence. SCITEPRESS - Science and Technology Publications, 2020. http://dx.doi.org/10.5220/0009182410031010.
Full textKosower, David A., and Nicola Adriano Lo Presti. "Recursion relations for integral coefficients." In 13th International Symposium on Radiative Corrections (Applications of Quantum Field Theory to Phenomenology). Sissa Medialab, 2018. http://dx.doi.org/10.22323/1.290.0005.
Full textReports on the topic "Graph theory. Recursion theory"
Burch, Kimberly Jordan. Chemical Graph Theory. The MAA Mathematical Sciences Digital Library, 2008. http://dx.doi.org/10.4169/loci002857.
Full textThomas, Robin. Graph Minors: Structure Theory and Algorithms. Defense Technical Information Center, 1993. http://dx.doi.org/10.21236/ada271851.
Full textGEORGIA INST OF TECH ATLANTA. Graph Minors: Structure Theory and Algorithms. Defense Technical Information Center, 1993. http://dx.doi.org/10.21236/ada266033.
Full textObert, James, Sean D. Turner, and Jason Hamlet. Graph Theory and IC Component Design Analysis. Office of Scientific and Technical Information (OSTI), 2020. http://dx.doi.org/10.2172/1606298.
Full textSweeney, Matthew, and Emily Shinkle. Understanding Discrete Fracture Networks Through Spectral Graph Theory. Office of Scientific and Technical Information (OSTI), 2021. http://dx.doi.org/10.2172/1812641.
Full textSweeney, Matthew, and Emily Shinkle. Understanding Discrete Fracture Networks Through Spectral Graph Theory. Office of Scientific and Technical Information (OSTI), 2021. http://dx.doi.org/10.2172/1812622.
Full textHoran, Victoria, and Michael Gudaitis. Investigation of Zero Knowledge Proof Approaches Based on Graph Theory. Defense Technical Information Center, 2011. http://dx.doi.org/10.21236/ada540835.
Full textMartin, S. P. The graph representation approach to topological field theory in 2 + 1 dimensions. Office of Scientific and Technical Information (OSTI), 1991. http://dx.doi.org/10.2172/5812219.
Full textMartin, S. P. The graph representation approach to topological field theory in 2 + 1 dimensions. Office of Scientific and Technical Information (OSTI), 1991. http://dx.doi.org/10.2172/10127500.
Full textMesbahi, Mehran. Dynamic Security and Robustness of Networked Systems: Random Graphs, Algebraic Graph Theory, and Control over Networks. Defense Technical Information Center, 2012. http://dx.doi.org/10.21236/ada567125.
Full text