Results 221 to 230 of about 1,808,638 (268)

Testing equivalence as a bisimulation equivalence

Formal Aspects of Computing, 1990
Abstract In this paper we show how the testing equivalences and preorders on transition systems may be interpreted as instances of generalized bisimulation equivalences and prebisimulation preorders. The characterization relies on defining transformations on the transition systems in such a way that the testing relations on the original ...
Rance Cleaveland, Matthew Hennessy
openaire   +1 more source

From mathematical equivalence such as Ma equivalence to generalized Zhang equivalency including gradient equivalency

Theoretical Computer Science, 2020
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Yunong Zhang, Min Yang 0010, Binbin Qiu, Jian Li 0018, Mingjie Zhu   +4 more
openaire   +2 more sources

An Equivalence‐Theoretic Equivalent of the Axiom of Choice

Mathematical Logic Quarterly, 1986
Representability of unary partial operations by equivalence relations as introduced by the author [Z. Math. Logik Grundlagen Math. 29, 569-571 (1983; Zbl 0509.08002)] is shown to be equivalent to the axiom of choice.
openaire   +2 more sources

α-equivalence: a refinement of Kakutani equivalence

Ergodic Theory and Dynamical Systems, 1994
AbstractFor a fixed irrational α > 0 we say that probability measure-preserving transformationsSandTare α-equivalent if they can be realized as cross-sections in a common flow such that the return time functions on the cross-sections both take values in {1, 1 +α} and have equal integrals.
Fieldsteel, Adam, del Junco, Andrés, Rudolph, Daniel J.   +2 more
openaire   +1 more source

Equivalent Equilibria

International Economic Review, 1988
The paper provides a way to formulate a general equilibrium model with both infinite time horizon and continuous uncertainty by \({\mathcal L}_{\infty}\)-commodity space, and provides a simple proof of the equivalence of equilibria in complete markets, incomplete markets with sequential trading, and incomplete markets with one-shot trades in single ...
openaire   +1 more source

Equivalence and Non-equivalence in Parallel Corpora

International Journal of Corpus Linguistics, 2001
The present paper shows how an aligned parallel corpus can be used to investigate the consistency of translation equivalence across the two languages in a parallel corpus. The particular issues addressed are the bidirectionality of translation equivalence, the coverage of multiword units, and the amount of implicit knowledge presupposed on the part of ...
Tamás Váradi, Gábor Kiss
openaire   +1 more source