bibliographer - Olivier Finkel

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

The Determinacy of Context-Free Games Olivier Finkel [github]

On the High Complexity of Petri Nets ømega -Languages Olivier Finkel [github]

Two Effective Properties of -Rational Functions Olivier Finkel [github]

The deteterminacy of context-free games Olivier Finkel [github]

On the Shuffle of Timed Regular languages Olivier Finkel [github]

Undecidable problems about timed automata Olivier Finkel [github]

On Decision Problems for Timed Automata Olivier Finkel [github]

Topological Complexity of Context-Free omega-Languages: A Survey Olivier Finkel [github]

Borel Hierarchy and Omega Context Free Languages Olivier Finkel [github]

Topological properties of omega context-free languages Olivier Finkel [github]

Borel ranks and Wadge degrees of context free textdollartextbackslashomegatextdollar-languages OLIVIER FINKEL [github]

THREE APPLICATIONS TO RATIONAL RELATIONS OF THE HIGH UNDECIDABILITY OF THE INFINITE POST CORRESPONDENCE PROBLEM IN A REGULAR ømega-LANGUAGE OLIVIER FINKEL [github]

On Recognizable Tree Languages Beyond the Borel Hierarchy Olivier Finkel Pierre Simonnet [github]

On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words Olivier Finkel Michał Skrzypczak [github]

Library Size: 13G (14 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]