The following pages link to Marc Bagnol (Q1744372):
Displayed 11 items.
- The shuffle quasimonad and modules with differentiation and integration (Q1744374) (← links)
- Logic Programming and Logarithmic Space (Q2789034) (← links)
- Unary Resolution: Characterizing Ptime (Q2811353) (← links)
- On the Dependencies of Logical Rules (Q2949457) (← links)
- (Q4580325) (← links)
- (Q4596799) (← links)
- (Q5090951) (← links)
- Unification and Logarithmic Space (Q5170809) (← links)
- (Q5277831) (← links)
- Representation of partial traces (Q5971391) (← links)
- Memoization for Unary Logic Programming: Characterizing PTIME (Q6258326) (← links)