Refreshing results…
Structural Equivalence in Reversible Calculus of Communicating Systems (Abstract)
Download from zenodo.orgUnary Resolution: Characterizing Ptime
Download from zenodo.orgReversible Barbed Congruence on Configuration Structures
Download from dx.doi.orgMemoization for Unary Logic Programming: Characterizing PTIME
Download from hal.archives-ouvertes.frLogic Programming and Logarithmic Space
Download from hal.archives-ouvertes.frMissing publications? Search for publications with a matching author name.