bibliographer - A. Finkel

bibliographer a curated TCS bibliography

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

Decomposition of Decidable First-Order Logics over Integers and Reals F. Bouchy A. Finkel J. Leroux [github]

Une généralisation des théorèmes de Higman et de Simon aux mots infinis A. Finkel [github]

On the -language expressive power of extended Petri nets A. Finkel G. Geeraerts J.-F. Raskin L. Van Begin [github]

Reset nets between decidability and undecidability C. Dufourd A. Finkel Ph. Schnoebelen [github]

Well-structured transition systems everywhere A. Finkel Ph. Schnoebelen [github]

A generalization of the procedure of Karp and Miller to well structured transition systems A. Finkel [github]

A survey on the decidability questions for classes of fifo nets A. Finkel L. Rosier [github]

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

[show logs] [hide logs]