Marc Bagnol

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Büchi Good-for-Games Automata Are Efficiently Recognizable	2022-07-21	Paper
scientific article; zbMATH DE number 6917940 (Why is no real title available?)	2018-08-15	Paper
The shuffle quasimonad and modules with differentiation and integration	2018-04-23	Paper
Multiplicative-additive proof equivalence is \textsf{logspace}-complete, via binary decision trees	2017-12-11	Paper
MALL proof equivalence is logspace-complete, via binary decision diagrams	2017-07-12	Paper
Representation of partial traces Electronic Notes in Theoretical Computer Science	2016-12-16	Paper
Unary resolution: characterizing \textsc{Ptime} Lecture Notes in Computer Science	2016-06-10	Paper
Logic programming and logarithmic space Programming Languages and Systems	2016-02-26	Paper
On the dependencies of logical rules Lecture Notes in Computer Science	2015-10-01	Paper
Memoization for Unary Logic Programming: Characterizing PTIME	2015-01-21	Paper
Unification and Logarithmic Space Lecture Notes in Computer Science	2014-07-24	Paper

Research outcomes over time

This page was built for person: Marc Bagnol