bibliographer - Maurice Nivat

bibliographer a curated TCS bibliography

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

A note about minimal non-deterministic automata André Arnold Anne Dicky Maurice Nivat [github]

Mots infinis engendrés par une grammaire algébrique Maurice Nivat [github]

Sur les ensembles de mots infinis engendrés par une grammaire algébrique Maurice Nivat [github]

Formal computations of non deterministic recursive program schemes André Arnold Maurice Nivat [github]

Adherences of languages Luc Boasson Maurice Nivat [github]

On the interpretation of recursive program schemes Maurice Nivat [github]

Ultimately periodic words of rational ømega-languages Hugues Calbrix Maurice Nivat Andreas Podelski [github]

Library Size: 13G (7 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]