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
Naoki Nishida
Organization:
Nagoya University
Web site:
http://www.sakabe.i.is.nagoya-u.ac.jp/~nishida/
Pages in this Program
All Proceedings Papers
IWC 2014 Workshop Proceedings
IWC 2014 Workshop Proceedings: Papers with Abstracts
IWC Call for Papers
IWC on Sunday, July 13th
IWC Program
IWC Program Committee
Paper: Inverse Unfold Problem and Its Heuristic Solving
Paper: Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems
Paper: On Improving Termination Preservability of Transformations from Procedural Programs into Rewrite Systems by Using Loop Invariants
Paper: On Proving Confluence of Conditional Term Rewriting Systems via the Computationally Equivalent Transformation
Paper: On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings
Program
Program for Sunday, July 13th
Program for Thursday, July 17th
WPTE 2014 VSL Proceedings
WPTE 2014 VSL Proceedings: Papers with Abstracts
WPTE on Sunday, July 13th
WPTE Program
WST 2014 Informal Proceedings
WST 2014 Informal Proceedings: Papers with Abstracts
WST on Thursday, July 17th
WST Program
Disclaimer
|
Powered by EasyChair Smart Program
