This volume contains abstracts of the papers presented at the 2nd Joint International Workshop on Strategies in Rewriting, Proving and Programming, IWS 2012, held in Manchester on the 1st July 2012, as a satellite event of IJCAR 2012 (the 6th International Joint Conference on Automated Reasoning).
Notes of the Second International Workshop on Strategies in Rewriting Proving and Programming (IWS)
BONACINA, Maria Paola;
2012-01-01
Abstract
This volume contains abstracts of the papers presented at the 2nd Joint International Workshop on Strategies in Rewriting, Proving and Programming, IWS 2012, held in Manchester on the 1st July 2012, as a satellite event of IJCAR 2012 (the 6th International Joint Conference on Automated Reasoning).
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.
