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

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).
Strategies in automated reasoning tools; Strategy languages; Strategy analysis
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: http://hdl.handle.net/11562/492150
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact