Five Axioms of Alpha−Conversion

Five Axioms of Alpha−Conversion

Bibliographic Details
Main Authors:	Gordon, A, Melham, T
Format:	Conference item
Published:	Springer−Verlag 1996

Similar Items

Shift Axioms
by: von Karger, B
Published: (2015)

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory/
by: 330777 Godel, Kurt
Published: (1940)

The search for new axioms
by: Koellner, Peter, 1969-
Published: (2009)

Group axioms [filem]
Published: (1972)

Group axioms [kasetvideo]
Published: (1972)

Axioms for Definability and Full Completeness
by: Abramsky, S
Published: (1999)

The weak axiom and comparative statics.
by: Quah, J
Published: (1999)

Operational axioms for diagonalizing states
by: Chiribella, G, et al.
Published: (2015)

Ring I : the axioms [filem]
Published: (1972)

Ring 1 : the axioms [kasetvideo]
Published: (1972)

Λr -sets and separation axioms
by: Jeyanthi, M. J., et al.
Published: (2011)

Does assertibility satisfy the S4 axiom?
by: Williamson, T
Published: (1995)

A multiverse perspective on the axiom of constructibility
by: Hamkins, J
Published: (2014)

Dilations and information flow axioms in categorical probability
by: Fritz, T, et al.
Published: (2023)

Partition axioms and lattice - equivalence of topological spaces
by: Chew, K. P., et al.
Published: (1975)

Clustering redemption–beyond the impossibility of Kleinberg’s axioms
by: Cohen-Addad, V, et al.
Published: (2018)

Deriving ephemeral authentication using channel axioms
by: Pavlovic, D, et al.
Published: (2010)

Justified representation in multiwinner voting: Axioms and algorithms
by: Elkind, E
Published: (2018)

On lower separation and regularity axioms in fuzzy topological spaces
by: Saif, Amin, et al.
Published: (2011)

Afterword: Dynamical zeta functions for Axiom A flows
by: Dyatlov, Semyon, et al.
Published: (2021)

Afterword: Dynamical zeta functions for Axiom A flows
by: Dyatlov, Semyon, et al.
Published: (2021)

Prological Features in a Functional Setting — Axioms and Implementations
by: Hinze, R
Published: (1998)

An Extension of Regularity Conditions for Complex Role Inclusion Axioms
by: Kazakov, Y
Published: (2009)

Afterword: Dynamical zeta functions for Axiom A flows
by: Dyatlov, Semen, et al.
Published: (2021)

Review of: Needham, Rodney: Against the Tranquility of Axioms; and Exemplars
by: Parkin, R
Published: (1986)

Zermelo's axiom of choice : its origins, development and influence /
by: 324317 Moore, Gregory H.
Published: (1982)

Derivation of context axioms and semantics of data with the Domain Model Editor
by: Leung, Christopher, 1975-
Published: (2009)

Polynomial Wolff axioms and Kakeya-type estimates in R4
by: Guth, Lawrence, et al.
Published: (2018)

The existence of equilibrium when excess demand obeys the weak axiom.
by: Quah, J
Published: (2008)

Prolog's Control Constructs in a Functional Setting — Axioms and Implementation
by: Hinze, R
Published: (2001)

The existence of equilibrium when excess demand obeys the weak axiom.
by: Quah, J
Published: (2004)

The Hermitian axiom on two-dimensional topological quantum field theories
by: Zhu, Honglin
Published: (2023)

An Extension of Complex Role Inclusion Axioms in the Description Logic SROIQ
by: Kazakov, Y
Published: (2010)

The existence of equilibrium when excess demand obeys the weak axiom,
by: Quah, J
Published: (2008)

Expected utility theory on mixture spaces without the completeness axiom
by: McCarthy, D, et al.
Published: (2021)

Foundations of special relativity : kinematic axioms for Minkowskil space-time/
by: 209297 Schutz, John W.
Published: (1973)

Beyond Asserted Axioms: Fine−Grain Justifications for OWL−DL Entailments
by: Kalyanpur, A, et al.
Published: (2006)

Axiom, Anguish, and Amazement: How Autistic Traits Modulate Emotional Mental Imagery
by: Esposito, Gianluca, et al.
Published: (2016)

The Aggregate Weak Axiom in a Financial Economy through Dominant Substitution Effects.
by: Quah, J
Published: (2004)

A data complexity and rewritability tetrachotomy of ontology-mediated queries with a covering axiom
by: Gerasimova, Olga, et al.
Published: (2020)