FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
PROGRAM
AUTHORS
KEYWORDS
VOLUMES
FLoC

FoPSS

ITP

CSF

FSCD

SAT

CAV

IJCAR

ICLP

FM

LICS

ADHS

ADSL

ARQNL

ASPOCP

AVOCS

CL&C

COALG

Coq

DCM

Domains13

DSFM

EICNCL

FIDE

FCS

FRIDA

GraMSec

GS

HCVS

HDRA

HOR

HoTT/UF

ICLPDC

IFIP WG 1.6

Isabelle

ITRS

IWC

LaSh

LCC

LearnAut

LFMTP

Linearity/TLLA

LMW

LOLA

LPOP

LSB

MLP

MoRe

MSFP

NLCS

NSV

Overture

PAAR

PARIS

PC

PLR

POS

PRUV

QBF

RCRA

REFINE

ReMOTE

rv4rise

SCSC

SMT

SoMLMFM

SR

SYNT

TERMGRAPH

Tetrapod

ThEdu

TLA

TYDI

UITP

UNIF

Vampire

VaVAS

VDMW

VEMDP

VSTTE

WiL

WPTE

WST
PROGRAM

AUTHORS

KEYWORDS

VOLUME
CL&C FULL PAPERS AND ABSTRACTS
Papers
Papers with Abstracts
Author Index
Keyword Index
Editor:
Stefano Berardi
Authors
Title
Paper
Talk
Gabriel Ebner
Fast cutelimination using proof terms: an empirical study
Jul 07 11:00
Anthony Cantor
and
Aaron Stump
(Short Paper) Towards a Dualized Sequent Calculus with Canonicity
Jul 07 10:00
Graham Leigh
Herbrand's Theorem as HigherOrder Recursion
Jul 07 14:45
Federico Aschieri
On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains
Jul 07 14:00
Matteo Manighetti
and
Andrea Condoluci
Admissible tools in the kitchen of intuitionistic logic
Jul 07 16:00
Sorin Stratulat
Validating Backlinks of FOL$_{\mbox{\normalsize ID}}$ Cyclic Preproofs
Jul 07 11:45
Anupam Das
Some ideas on cutelimination for cyclic arithmetic proofs
Jul 07 17:30
Disclaimer

Powered by EasyChair Smart Program