We study the complexity of deciding the equality of infinite objects specified by systems of equations, and of infinite objects specified by λ-terms.
Jun 30, 2012 · Abstract:We study the complexity of deciding the equality of infinite objects specified by systems of equations, and of infinite objects ...
Abstract. We study the complexity of deciding the equality of infinite objects specified by systems of equations, and of infinite objects specified.
We study the complexity of deciding the equality of infinite objects specified by systems of equations, and of infinite objects specified by λ-terms.
This paper gives a precise characterization for the complexity of the problem of proving equal two streams defined with a finite number of equations.
We study the complexity of deciding the equality of infinite objects specified by systems of equations, and of infinite objects specified by λ-terms.
We study the complexity of deciding the equality of infinite objects specified by systems of equations, and of infinite objects specified by λ-terms.
Dive into the research topics of 'On the Complexity of Equivalence of Specifications of Infinite Objects'. Together they form a unique fingerprint. Sort by ...
Bibliographic details on On the Complexity of Equivalence of Specifications of Infinite Objects.
Publication Results. On the complexity of equivalence of specifications of infinite objects. Publication type: Conference Proceeding.
In response to a legal request submitted to Google, we have removed 1 result(s) from this page. If you wish, you may read more about the request at LumenDatabase.org. |