Cargando…

Building-in a theory into a connection calculus with positive refinement

Detalles Bibliográficos
Autor principal:	Petermann, U
Lenguaje:	eng
Publicado:	1993
Materias:	Mathematical Physics and Mathematics
Acceso en línea:	http://cds.cern.ch/record/257535

Ejemplares similares

A complete equational connection calculus with rigid E-unification
por: Petermann, U
Publicado: (1993)

Completeness of the pool calculus with an open built-in theory
por: Petermann, U
Publicado: (1993)

On the refinement calculus
por: Morgan, Carroll, et al.
Publicado: (1992)

Operator Calculus and Spectral Theory : Symposium on Operator Calculus and Spectral Theory
por: Demuth, Michael, et al.
Publicado: (1992)

Operational calculus: a theory of hyperfunctions
por: Yosida, K
Publicado: (1984)

Advanced calculus: theory and practice
por: Petrovic, John Srdjan
Publicado: (2013)

Elementary analysis the theory of calculus
por: Ross, Kenneth A
Publicado: (1980)

Elementary analysis: the theory of calculus
por: Ross, Kenneth A
Publicado: (2013)

Calculus of fractions and homotopy theory
por: Gabriel, Peter, et al.
Publicado: (1967)

Fractional and multivariable calculus: model building and optimization problems
por: Mathai, A M, et al.
Publicado: (2017)

The pi-calculus: a theory of mobile processes
por: Sangiorgi, Davide, et al.
Publicado: (2001)

Advanced calculus and vector field theory
por: Urwin, Kathleen M
Publicado: (1966)

Applications of q-calculus in operator theory
por: Aral, Ali, et al.
Publicado: (2013)

Itô’s stochastic calculus and probability theory
por: Ikeda, Nobuyuki, et al.
Publicado: (1996)

A primer on the calculus of variations and optimal control theory
por: Mesterton-Gibbons, Mike
Publicado: (2009)

Fuzzy relational calculus: theory, applications and software
por: Peeva, Ketty, et al.
Publicado: (2004)

Stochastic calculus: an introduction through theory and exercises
por: Baldi, Paolo
Publicado: (2017)

Calculus: multivariable calculus
por: McCallum, William G, et al.
Publicado: (2005)

Summability calculus: a comprehensive theory of fractional finite sums
por: Alabdulmohsin, Ibrahim M
Publicado: (2018)

A Practical Guide to the Invariant Calculus: An Introduction to Theory and Applications
por: Mansfield, Elizabeth Louise
Publicado: (2010)

Calculus of variations and optimal control theory: a concise introduction
por: Liberzon, Daniel
Publicado: (2011)

Calculus: introductory theory and applications in physical and life science
por: Johnson, R M
Publicado: (1995)

The inverse problem of the calculus of variations: local and global theory
por: Zenkov, Dmitry
Publicado: (2015)

Schaum's outline of theory and problems of differential and integral calculus
por: Ayres, Frank, et al.
Publicado: (1990)

Complex variable theory and transform calculus with technical applications
por: McLachlan, Norman W
Publicado: (1953)

Constrained optimization in the calculus of variations and optimal control theory
por: Gregory, J
Publicado: (2018)

Calculus of variations: an introduction to the one-dimensional theory with examples and exercises
por: Kielhöfer, Hansjörg
Publicado: (2018)

The fractional calculus: theory and applications of differentiation and integration to arbitrary order
por: Oldham, Keith B, et al.
Publicado: (1974)

Colloquium on Complex Analysis, Microlocal Calculus and Relativistic Quantum Theory
por: Iagolnitzer, Daniel
Publicado: (1980)

Elements of queueing theory: palm martingale calculus and stochastic recurrences
por: Baccelli, François, et al.
Publicado: (2003)

The absolute differential calculus: calculus of tensors
por: Levi-Cività, Tullio, et al.
Publicado: (1926)

Calculus
por: Elk, Seymour B
Publicado: (2016)

Calculus
por: Grossman, Stanley I
Publicado: (1981)

Calculus
por: Grossman, Stanley I
Publicado: (1984)

Calculus
por: Matthews, Geoffrey
Publicado: (1980)

Calculus
por: Jones, Patrick
Publicado: (2014)

Calculus
por: Marsden, Jerrold, et al.
Publicado: (1985)

Calculus
por: Larson, Ron, et al.
Publicado: (2014)

Calculus
por: Spivak, Michael
Publicado: (2006)

Calculus
por: Arif, Mohd
Publicado: (2013)

Cannot write session to /tmp/vufind_sessions/sess_2q4djbtevrvg25lrak8mrba93o