Verificación formal del zipper relacional simétrico

Verificación formal del zipper relacional simétrico

Bibliographic Details
Main Author:	Galicia Mendoza, Fernando Abigail
Other Authors:	Miranda Perea, Favio Ezequiel (Asesor)
Format:	Tesis de licenciatura
Published:	MX 2018
Subjects:	Ciencias Físico - Matemáticas y de las Ingenierías
Online Access:	https://hdl.handle.net/20.500.14330/TES01000776097 http://132.248.9.195/ptd2018/julio/0776097/Index.html

Similar Items

Verificación formal en lógica modal
by: Prieto Larios, Estefanía
Published: (2018)

Verificación formal de árboles rojinegros
by: Hernández Chiapa, David Felipe
Published: (2021)

Verificación formal del cálculo λSF en Coq
by: Torres Ruiz, Mateo Alberto
Published: (2019)

Espacios simétricos
by: Hernández Escamilla, Esteban Librado
Published: (2019)

Productos simetricos
by: Castañeda Alvarado, Enrique
Published: (2003)

Reintervencion quirugica a traves de un zipper en sepsis abdominal
by: Vidrio Pena, José de Jesus
Published: (1988)

Verificación formal de programas con lógicas de separación
by: Medina Martínez, Diego Roberto
Published: (2021)

Estudio comparativo entre los análisis de correspondencias simetrico y no-simetrico
by: Medina Alvarez, Ricardo
Published: (1991)

Representaciones irreducibles del grupo simetrico
by: Gomez Cano, Mayan Cristina
Published: (2000)

Conjuntos Z en productos simétricos
by: Juárez Ojeda, Rigel Apolonio
Published: (2013)

Funciones inducidas en productos simétricos
by: Higuera Rojo, Galo
Published: (2009)

Verificación formal y programación certificada en COQ con Program : un ejemplo práctico
by: Carrillo Verduzco, Diego
Published: (2020)

Productos de caracteres del grupo simétrico
by: Avella Alaminos, Diana
Published: (1999)

El producto simétrico de espacios topológicos
by: Rosas Nuñez, Irene
Published: (2014)

Funciones inducidas en los productos simétricos
by: Vega Acevedo, Jorge Enrique
Published: (2017)

Descomposiciones minimas en los grupos simetricos
by: Juarez Flores, Gerardo
Published: (1999)

Aplicación de Gauss de hipersuperficies en espacios simétricos
by: Navarro Betancourt, Rodrigo Hiram
Published: (2020)

Grado de homogeneidad en productos simétricos de variedades
by: Embarcadero Ruiz, Daniel
Published: (2019)

Verificacion Formal del Estado Social de Derecho en Mexico
by: Zarate Perez, José Humberto
Published: (1985)

Modelado y simulacion del proceso de laminado conjunto no simetrico
by: Ramirez Rodriguez, Marco Antonio
Published: (2007)

Encajes de productos simétricos y modelos de hiperespacios
by: Ordoñez Ramírez, Norberto
Published: (2009)

Productos simétricos de la recta real : encajes y retracciones
by: López Cayetano, Félix Yael
Published: (2018)

Dinámica de las funciones inducidas a los productos simétricos
by: Gómez Rueda, José Luis
Published: (2011)

Serie principal esférica y espacios simétricos de dimensión infinita
by: Sánchez-González, Arturo
Published: (2020)

Cálculo de la aberración esférica en sistemas rotacionales simétricos
by: Anaya Vera, Sergio
Published: (2009)

Topología de los haces airy simétricos y sus variables dinámicas
by: Camas Aquino, Fabián
Published: (2017)

Teoría de extensiones de operadores simétricos en espacios de Hilbert
by: Aguilar Rivera, Manuel Antonio
Published: (2019)

Metodo de lanczos para sistemas lineales grandes, huecos y simetricos
by: Saavedra Espinosa, Armando
Published: (1986)

Impacto simetrico de un anillo de vorticidad con una pared
by: Vazquez de Gyves, Alvaro Francisco
Published: (2007)

Determinacion de la cromologia del grupo simetrico en con coeficientes enteros
by: Gonzalez Rojas, Rodrigo
Published: (1985)

Simulación numérica de un flujo alrededor de un perfil NACA simétrico
by: Pérez Sánchez, Jordán
Published: (2009)

Descriptor simétrico de Coulomb basado en relevancia por pares para moléculas
by: Cazares Trejo, Leonardo Damian
Published: (2024)

Las representaciones del grupo simétrico en el lenguaje de las álgebras de Hopf
by: Gómez Telésforo, Luis Alberto
Published: (2015)

Uso del subespacio simétrico para la evolución de sistemas atómicos cercanos a nanofibras
by: Álvarez Girón, William Eduardo
Published: (2023)

Dinamica de un gas de bosones ultrafrio confinado en un potencial unidimensional simetrico
by: Morlet Guevara, Emmanuel
Published: (2005)

Algunos problemas que se pueden resolver con polinomios simétricos elementales en el bachillerato
by: Pérez Torres, Víctor Manuel
Published: (2012)

Infinidad de soluciones de problemas elipticos con perturbacion de simetrias en dominios simetricos
by: Hernandez Martinez, Eric Fabian
Published: (2006)

Algunos problemas que se pueden resolver con Polinomios Simétricos Elementales en el Bachillerato
by: Pérez Torres, Víctor Manuel
Published: (2012)

Estados simétricos para la simulación eficiente de la ecuación maestra en óptica cuántica
by: Bolaños Puchet, Marduk
Published: (2014)

Significancia de la solución inicial para los problemas del agente viajero simétrico y euclidiano
by: Martínez Bello, Samuel
Published: (2016)