C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Cyclic Proof System for HFLN.
Mayuko Kori
Takeshi Tsukada
Naoki Kobayashi
Published in:
CoRR (2020)
Keyphrases
</>
modal logic
artificial intelligence
real time
genetic algorithm
web services
case study
lower bound
special case
constraint satisfaction problems
proof search