PCCR2022 Program papers: Papers with Abstracts

FLoC 2022 logo

FLOC 2022: FEDERATED LOGIC CONFERENCE 2022

PROGRAM AUTHORS KEYWORDS SLIDES VOLUMES

FLoC | LICS | ICLP | FSCD | NMR | KR | ITP | CP | SAT | CSF | DL | CAV | IJCAR | Olympic Games | SYNT | HoTT/UF | PC | TERMGRAPH | FoMLAS | ABR | PAAR | FOMEO | XLoKR | PERR | CHANGE | VeriProp | NSV | PLP | WST | IFIP-WG1.6 | QBF | ThEdu | DECFOML | ModRef | ASPOCP | MC | LMML | GDE | WPTE | GuttmanFest | iPRA | FCS | BCORE | UNIF | Coq | WOLVERINE | PDAR | Isabelle | SMT | ASL | DatalogMTL | TLLA-LINEARITY | LFMTP | IWC | ARQNL | REAI | PCCR | VardiFest | WiL | FMBC | Mentoring Workshop | SC^2 | LogTeach | POS | FRIDA | DSV

PROGRAM | AUTHORS | KEYWORDS | SLIDES | VOLUME

PCCR2022 PROGRAM PAPERS: PAPERS WITH ABSTRACTS

Papers Papers with Abstracts Author Index Keyword Index

Editor: Sebastian Ordyniak

Authors, Title and Abstract

Disclaimer | Powered by EasyChair Smart Program