VSL 2014: VIENNA SUMMER OF LOGIC 2014

VSL FOREWORD VSL PROGRAM VOLUMES

VSL | FLoC | CAV | CSF | CSL-LICS | ICLP | IJCAR | ITP | RTA-TLCA | SAT | LC | LATD | KR | DL | NMR | 2FC | ACL2 | ADDCT | AISS | APPA | ARQNL | ARW-DT | ASA | ASPOCP | Automatheo | CHR | CICLOPS-WLPE | CLC | Coq | CSPSAT | DCM | DTP | EC2 | FCS-FCC | FRIDA | FWFM | GeTFun | GSB | HCVS | HOL | HOPA | HOR | HSB | IFIP-WG16 | INFINITY | iPRA | ITRS | IWC | Isabelle | KInAR | KR4HC | LaSh | LCC | LFMTP | LG | Linearity | LOLA | LSB | NCPROOFS | NLCS | NLSR | NSV | ORE | PAAR | ParSearchOpt | PAS | PC | PCCR | PLP | POS | PRUV | PSC | QBF | QED | QUANTIFY | RCRA | REORDER | RS | SMT | SD | SSV | STAST | SYNT | TermGraph | UITP | UNIF | Vampire | VEMDP | VERIFY | VeriSure | VPT | VSTTE | WING | WIR | WPTE | WST | WWV

CFP | HOME | PC | PROGRAM | VOLUME

POS 2014 PROCEEDINGS: EDITOR'S PREFACE

Papers Papers with Abstracts Preface Author Index Keyword Index

This volume contains the papers presented at POS-14: Fifth Pragmatics of SAT workshop held on July 12, 2014 in Vienna.

Daniel Le Berre

June 17, 2014
LENS

Disclaimer | Powered by EasyChair Smart Program