<--- Back to Details
First PageDocument Content
Linear algebra / Metalogic / Model theory / Ergodic theory / Monoid / Determinant / Sigma-algebra / Holomorphic functional calculus / Algebra / Mathematics / Abstract algebra
Date: 2006-03-15 12:03:19
Linear algebra
Metalogic
Model theory
Ergodic theory
Monoid
Determinant
Sigma-algebra
Holomorphic functional calculus
Algebra
Mathematics
Abstract algebra

Add to Reading List

Source URL: iml.univ-mrs.fr

Download Document from Source Website

File Size: 775,75 KB

Share Document on Facebook

Similar Documents

Chemistry / Separation processes / Sewerage / Water treatment / Philosophy / Logic / Exonumia / Metalogic / Token coin / Flocculation / Typetoken distinction / Sedimentation

Visual Sedimentation Samuel Huron, Romain Vuillemot, Jean-Daniel Fekete To cite this version: Samuel Huron, Romain Vuillemot, Jean-Daniel Fekete. Visual Sedimentation. IEEE Transactions on Visualization and Computer Grap

DocID: 1rhAK - View Document

Formal languages / Regular language / Regular expression / Brzozowski derivative / Symbol / Theoretical computer science / Grammar / Metalogic

Formalizing Symbolic Decision Procedures | {z in

DocID: 1rgM0 - View Document

Logic / Mathematics / Abstraction / Mathematical logic / Mathematical notation / Predicate logic / Elementary mathematics / Metalogic / Substitution / Term / Lambda calculus / Structure

From notation to semantics: there and back again Luca Padovani1 and Stefano Zacchiroli2 1 Information Science and Technology Institute, University of Urbino

DocID: 1qY5Z - View Document

Mathematics / Academia / Theoretical physics / Metalogic / Model theory / Mathematical model / Zariski geometry / Noncommutative geometry / Oscar Zariski

On model theory, non-commutative geometry and physics B. Zilber University of Oxford http://www.maths.ox.ac.uk/ e zilber/

DocID: 1qXA7 - View Document

Logic / Model theory / Abstraction / Mathematical logic / Semantics / Predicate logic / Metalogic / Structure / Homomorphism / Interpretation / Symbol / First-order logic

Quantified Constraints and Containment Problemsāˆ— Hubie Chen Departament de Tecnologia, Universitat Pompeu Fabra, Barcelona, Spain. Florent Madelaine

DocID: 1qXjg - View Document