Proyecto

Título Cómputo, distintos paradigmas de cómputo y el teorema de la forma normal de Kleene para redes de Petri con arcos inhibidores.
Institución SIP-IPN
Fecha de inicio 2015-01-02 12:00:00
Fecha de fin 2015-12-31 12:00:00
Descripción Equivalencia entre las redes de Petri con arcos inhibidores y las funciones recursivas.

Participantes

Nombre Rol
Retchkiman Konigsberg Mordejai Zvi Responsable técnico