FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Naoki Nishida
Organization: Nagoya University
Web page: http://www.trs.css.i.nagoya-u.ac.jp/~nishida/
Pages in this Program
All Proceedings Papers
FSCD on Thursday, July 12th
FSCD on Wednesday, July 11th
FSCD Presented Papers
FSCD Presented Papers: Papers with Abstracts
FSCD Program
IWC Final papers
IWC Final papers: Papers with Abstracts
IWC on Saturday, July 7th
IWC Program
Paper: Convergence of Simultaneously and Sequentially Unraveled TRSs for Normal Conditional TRSs
Paper: Narrowing Trees for Syntactically Deterministic Conditional Term Rewriting Systems
Paper: On Transforming Functions Accessing Global Variables into Logically Constrained Term Rewriting Systems
Paper: On Transforming Narrowing Trees into Regular Tree Grammars Generating Ranges of Substitutions
Program
Program for Saturday, July 7th
Program for Sunday, July 8th
Program for Thursday, July 12th
Program for Thursday, July 19th
Program for Wednesday, July 11th
VSTTE on Thursday, July 19th
VSTTE Program
WPTE Extended Abstracts
WPTE Extended Abstracts: Papers with Abstracts
WPTE on Sunday, July 8th
WPTE Program