Un método de Tableaux para la lógica dinámica proposicional

  1. Leach, Javier
Book:
XII Jornadas Luso-Espanholas de Matemática: Universidade do Minho. 4 a 8 Maio 1987

Publisher: Universidade do Minho

Year of publication: 1987

Volume: 3

Pages: 382-387

Congress: Jornadas Luso-Espanholas de Matemática (12. 1987. Braga)

Type: Conference paper

DIALNET GOOGLE SCHOLAR
Data source: Dialnet