bibliographer - Michael Leuschel

bibliographer a curated TCS bibliography

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

Formal Methods in Industry Maurice ter Beek Rod Chapman Rance Cleaveland Hubert Garavel Rong Gu Ivo ter Horst Jeroen Keiren Thierry Lecomte Michael Leuschel Kristin Yvonne Rozier Augusto Sampaio Cristina Seceleanu Martyn Thomas Tim Willemse Lijun Zhang [github]

On the Power of Homeomorphic Embedding for Online Termination Michael Leuschel [github]

Logic program specialisation through partial deduction: Control issues MICHAEL LEUSCHEL MAURICE BRUYNOOGHE [github]

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

[show logs] [hide logs]