Tesis de Grado

Galeotti, Juan Pablo; Roman, Mario. "Razonando entre la lógica dinámica y la lógica lineal temporal usando álgebras de fork" . (2004). Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.