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
Mnacho Echenim
Organization:
University of Grenoble
Pages in this Program
ADDCT 2014 Proceedings
ADDCT 2014 Proceedings: Papers with Abstracts
All Proceedings Papers
IJCAR 2014 LNCS proceedings
IJCAR 2014 LNCS proceedings: Papers with Abstracts
IJCAR on Sunday, July 20th
IJCAR Program
PAAR 2014 Proceedings
PAAR 2014 Proceedings: Papers with Abstracts
PAAR on Wednesday, July 23rd
PAAR Program
Paper: A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses
Paper: A Rewriting Strategy to Generate Prime Implicates in Equational Logic
Paper: A Superposition-Based Approach to Abductive Reasoning in Equational Clausal Logic
Program
Program for Sunday, July 20th
Program for Wednesday, July 23rd
UNIF Call for Papers
UNIF Home Page
UNIF Program Committee
Disclaimer
|
Powered by EasyChair Smart Program
