Marc Bagnol

Available identifiers

zbMath Open bagnol.marcMaRDI QIDQ1744372

List of research outcomes

Publication	Date of Publication	Type
Büchi Good-for-Games Automata Are Efficiently Recognizable	2022-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4580325	2018-08-15	Paper
The shuffle quasimonad and modules with differentiation and integration	2018-04-23	Paper
https://portal.mardi4nfdi.de/entity/Q4596799	2017-12-11	Paper
MALL Proof Equivalence is Logspace-Complete, via Binary Decision Diagrams	2017-07-12	Paper
Representation of partial traces	2016-12-16	Paper
Unary Resolution: Characterizing Ptime	2016-06-10	Paper
Logic Programming and Logarithmic Space	2016-02-26	Paper
On the Dependencies of Logical Rules	2015-10-01	Paper
Memoization for Unary Logic Programming: Characterizing PTIME	2015-01-21	Paper
Unification and Logarithmic Space	2014-07-24	Paper

Research outcomes over time

This page was built for person: Marc Bagnol