Avellone, A., Fiorino, G., Moscato, U. (2003). A Parallel Implementation of a Decision Procedure for Propositional Intuitionistic Logic. In Automated Reasoning with Analytic Tableaux and Related Methods (pp.14-22). Roma : Springer.

A Parallel Implementation of a Decision Procedure for Propositional Intuitionistic Logic

AVELLONE, ALESSANDRO;FIORINO, GUIDO GIUSEPPE;MOSCATO, UGO EMANUELE
2003

paper
ATP, parallel computing, intuitionistic logic
English
Tableaux 2003
2003
Automated Reasoning with Analytic Tableaux and Related Methods
3-540-40787-1
2003
14
22
none
Avellone, A., Fiorino, G., Moscato, U. (2003). A Parallel Implementation of a Decision Procedure for Propositional Intuitionistic Logic. In Automated Reasoning with Analytic Tableaux and Related Methods (pp.14-22). Roma : Springer.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/363
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
Social impact