Une méthode arithmétique de décision pour le systéme modal S5 par des invariants numériques de ses classes d'équivalence

View/Open

Theoria 4(11) 491-513.pdf (1.523Mb)

Date

1989

Author

Sánchez-Mazas Ferlosio, Miguel

Metadata

Show full item record

  Estadisticas en RECOLECTA
(LA Referencia)

Theoria 4(11) : 491-513 (1989)

URI

http://hdl.handle.net/10810/40042

Collections

• (1989) Volumen 04. Número 11