Presentations of unification in a logical framework

Presentations of unification in a logical framework

Bibliographic Details
Main Author:	Brown, Jason J.
Published:	University of Oxford 1996
Subjects:	510 Pure mathematics
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.337544

Similar Items

Unification and equation solving in nilpotent groups and monoids
by: Burke, Edmund Kieran
Published: (1991)

On intuitionistic linear logic
by: Bierman, Gavin Mark
Published: (1993)

Logics with variable functors
by: Barton, S.
Published: (1982)

Analysis in Stoic logic
by: Ierodiakonou, Katerina
Published: (1990)

Semantic approaches to paraconsistent logic
by: Tuziak, Roman
Published: (1995)

Embedding dynamic logic in situation calculus
by: Permpoontanalarp, Yongyuth
Published: (1998)

Orthogonal transforms in digital logic design
by: Lloyd, A. M.
Published: (1980)

Alternative approaches to combinational and sequential logic design
by: Picton, P. D.
Published: (1982)

Logical aspects of rigid analytic geometry and of classical groups
by: Gardener, T. S.
Published: (1995)

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

A framework for describing formal systems
by: Milsted, Kathleen
Published: (1990)

Finitely presented infinite groups
by: Scott, E. A.
Published: (1981)

Presentations of infinite index subgroups
by: Hurt, Darren Francis
Published: (1997)

Minimality of group and monoid presentations
by: Cevik, Ahmet Sinan
Published: (1997)

Mathematical framework for vagueness and approximate reasoning
by: Lano, Kevin C.
Published: (1988)

Subgroups of finitely presented simple groups
by: Röver, Class H. E. W.
Published: (1999)

Branched 1 -manifolds and presentations of solenoids
by: Dickson, William B.
Published: (1998)

A unified framework for the systematic quantitative and qualitative analysis of communicating system
by: Kanani, Kamyer
Published: (1998)

Finite presentability of Lie algebras and pro-p groups
by: King, Jeremy David
Published: (1995)

Subgroups defined by generating pairs of groups described by presentations
by: Hill, P. M.
Published: (1983)

Second order Dehn functions of finitely presented groups and monoids
by: Wang, Xiaofeng
Published: (1996)

On finitely presented functors, Auslander algebras, and almost split sequences
by: Nogueira, M. T. A. D.
Published: (1986)

A unified approach to the identification of dynamic behaviour using the theory of vector spaces
by: Brown, T. A.
Published: (1985)

On stochastic equations driven by mild solutions
by: Brown, Haydyn
Published: (1995)

Numerical analysis of Volterra integro-differential equations
by: Roberts, Jason Anthony
Published: (2000)

Optimisation methods involving the solution of ordinary differential equations
by: Brown, A. A.
Published: (1986)

A non-linear relativistic model for a self gravitating perfect fluid : a study in matched asymptotic expansions
by: Northall, J. D.
Published: (1982)

A semilinear elliptic problem
by: Budd, C. J.
Published: (1986)

A quantum stochastic calculus
by: Lindsay, J. M.
Published: (1985)

A Whiteheaden philosophy of the mathematical sciences
by: Code, M. J.
Published: (1980)

A unified analysis of discretization methods
by: Scott, J. A.
Published: (1984)

Singularity theory and geometry in the motion of a top
by: Britt, J. P.
Published: (1982)

Solubility of finite groups admitting a certain fixed-point-free group of automorphisms
by: Doyle, J.
Published: (1986)

A statistical perspective on the solution of integral equations of the first-kind
by: Wilson, J. D.
Published: (1988)

A problem in differential equations connected with the third Painleve transcendant
by: Mabb, C. J.
Published: (1987)

A posteriori corrections for cubic and quintic interpolating splines with applications to the solution of two-point boundary value problems
by: Soares, M. J.
Published: (1986)

Backlund transformations for certain classes of nonlinear wave equations
by: Nimmo, J. J. C.
Published: (1982)

Sampling expansions and generalized translation invariant linear systems
by: De Sousa Pinto, J. J. M.
Published: (1983)

Matrix near-rings and generalized-distributivity
by: Abbasi, S. J.
Published: (1989)

Complex approximation algorithms applied to antenna arrays
by: Wilde, S. J.
Published: (1994)