Refreshing results…
Logic Programming and Logarithmic Space
Download from hal.archives-ouvertes.frMemoization for Unary Logic Programming: Characterizing PTIME
Download from hal.archives-ouvertes.frReversible Barbed Congruence on Configuration Structures
Download from dx.doi.orgContextual equivalences in configuration structures and reversibility
Download from hal.archives-ouvertes.frUnary Resolution: Characterizing Ptime
Download from zenodo.orgStructural Equivalence in Reversible Calculus of Communicating Systems (Abstract)
Download from zenodo.orgExplicit Identifiers and Contexts in Reversible Concurrent Calculus
Download from zenodo.orgConcurrencies in Reversible Concurrent Calculi
Download from hal.archives-ouvertes.frRealizing Implicit Computational Complexity
Download from zenodo.orgBisimulations Respecting Duration and Causality for the Non-interleaving Applied π-Calculus
Download from doi.orgProcesses against tests: On defining contextual equivalences
Download from hal.archives-ouvertes.frMissing publications? Search for publications with a matching author name.