Fran\c{c}ois Laferri\`ere
Identifiers
- name variant Fran\c{c}ois Laferri\`ere 0.60 · backfill
Papers (1)
- Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming cs.LO · 2026 · author #4
Mentions
- 2603.14692 #4 · arxiv_oai · confidence 0.70 Fran\c{c}ois Laferri\`ere
Frequent Coauthors
- David Fern\'andez-Duque 1 shared papers
- Igor St\'ephan 1 shared papers
- Mart\'in Di\'eguez 1 shared papers
- Pedro Cabalar 1 shared papers
- Torsten Schaub 1 shared papers