Methods of Handing Equality based on proof transformations

Methods of Handing Equality based on proof transformations

Bibliographic Details
Main Author:	Aleksic, Vladimir
Published:	King's College London (University of London) 2007
Subjects:	510
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.498347

Similar Items

Truth, proof and infinity
by: Fletcher, Peter
Published: (1988)

Proofs, search and computation in general logic
by: Pym, David J.
Published: (1990)

Connections between proof theory and category theory
by: Mann, Colin Robert
Published: (1973)

Proof theory of graph minors and tree embeddings
by: Krombholz, Martin Rudolf Arne
Published: (2018)

Relative computability and the proof-theoretic strength of some theories
by: Afshari, Bahareh
Published: (2008)

Linear logic and Petri nets : categories, algebra and proof
by: Brown, Carolyn T.
Published: (1990)

Improving proof comprehension in undergraduate mathematics
by: Hodds, Mark
Published: (2014)

Proof-theoretic investigations into the Friedman-Sheard theories and other theories of truth
by: Leigh, Graham Emil
Published: (2010)

A topological proof of Bloch's conjecture
by: Felisatti, Marcello
Published: (1996)

The Breuil-Mézard conjecture when l is not equal to p
by: Shotton, Jack
Published: (2015)

Ordinal complexity of recursive programs and their termination proofs
by: Fairtlough, Matthew V. H.
Published: (1991)

Dynamic geometry, construction and proof : making meaning in the mathematics classroom
by: Gardiner, John
Published: (2002)

Linear transformations and transformation groups
by: Larham, R.
Published: (1979)

Transforms related to the Hilbert transform
by: Zaidi, Nazim Husain
Published: (1964)

Models of lambda calculi and linear logic : structural, equational and proof-theoretic characterisations
by: Loader, Ralph
Published: (1994)

Secondary students' proof schemes during the first encounters with formal mathematical reasoning : appreciation, fluency and readiness
by: Kanellos, Ioannis
Published: (2014)

A computer assisted proof of universality for cubic critical maps of the circle with Golden Mean rotation number
by: Mestel, Benjamin David
Published: (1985)

Double Hilbert transforms
by: Patel, Sanjaykimar K.
Published: (2004)

Distal Transformation Groups
by: Rees, S. M.
Published: (1977)

Measureable transformations and their Jacobians
by: Trottnow, Ralf
Published: (1975)

Fractional transformations of generalised functions
by: Khan, Khaula Naeem
Published: (2009)

Abstract integrals, transforms, and moments
by: Burgess, D. J. C.
Published: (1951)

The Penrose transform and its applications
by: David, Liana
Published: (2001)

Non-Compact Extensions of Transformations
by: Atkinson, G.
Published: (1976)

The magnetic ray transform on surfaces
by: Ainsworth, Gareth Bennett
Published: (2014)

Covariant transforms on locally convex spaces
by: Albargi, Amer Hassan A.
Published: (2015)

The Penrose transform for Einstein-Weyl and related spaces
by: Tsai, Cheng-chih
Published: (1996)

Infinite Divisibility and Unimodality of certain Transformed Distributions
by: Artikis, T.
Published: (1978)

Some multiplication problems in the theory of series and transforms
by: Edmonds, Sheila May
Published: (1945)

Transformation methods in the study of nonlinear partial differential equations
by: Sophocleous, Christodoulos
Published: (1991)

The Painleve equations : BaÌˆcklund transformations, exact solutions and the isomonodromy deformation method
by: Milne, Alice Elizabeth
Published: (1995)

Linear fractional transformations mod one and ergodic theory
by: Rudolpher, Stephan Martin
Published: (1968)

'Local symmetry' and 'obstacle' invariants for metric spaces and transformation groups
by: Blieden, Selwyn Joel
Published: (1999)

Fractional calculus, fractional powers of operators and Mellin multiplier transforms
by: McBride, Adam C.
Published: (1994)

Polar and AC operators, the Hilbert transform, and matrix-weighted shifts
by: Wilson, Julie
Published: (1997)

Some Aspects of the Theory of Paranormed Spaces, with Applications to Matrix Transformations
by: Willey, M. A. L.
Published: (1973)

Methods based on integral equations for the solution of boundary-value problems
by: Noble, B.
Published: (1962)

Diagnostics and simulation-based methods for validating Gaussian process emulators
by: Al-Taweel, Younus
Published: (2018)

Statistical methods for Monte-Carlo based multiple hypothesis testing
by: Hahn, Georg
Published: (2015)

A Class of Weak Bernoulli Transformations Associated with Representations of Real Numbers
by: Alupohai, I. C.
Published: (1975)

Cannot write session to /tmp/vufind_sessions/sess_rivfm7hvjqa5904tfsag9kao3j