Fiorino, G. (2013). How to reduce backtracking in propositional intuitionistic logic. In The Nature of Computation. Logic, Algorithms, Applications. Informal Proceedings (pp.100-109).

How to reduce backtracking in propositional intuitionistic logic

FIORINO, GUIDO GIUSEPPE
Primo
2013

slide + paper
Propositional Intuitionistic Logic; Proof-theory; Automated Theorem Proving
English
Computation in Europe (Cie)
2013
The Nature of Computation. Logic, Algorithms, Applications. Informal Proceedings
2013
100
109
https://docs.google.com/uc?export=download&id=0BwHGRc8uKkNeaDBuNVE3eDdsTU0
none
Fiorino, G. (2013). How to reduce backtracking in propositional intuitionistic logic. In The Nature of Computation. Logic, Algorithms, Applications. Informal Proceedings (pp.100-109).
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/57949
Citazioni
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
Social impact