JFLI)

Identifiers

name variant JFLI) 0.60 · backfill

Papers (1)

Mathematical Informatics: Algorithms cs.LO · 2026 · author #2

Mentions

2605.18342 #2 · arxiv_oai · confidence 0.70 JFLI)

Frequent Coauthors

Thomas Seiller (CNRS 1 shared papers