Semantics of MML query -- ordering
From MaRDI portal
Recommendations
- Semantics of MML query
- Semantics of order-sorted specifications
- A semantic approach to order-sorted rewriting
- A semantic approach to order-sorted rewriting
- A partial ordering semantics for CCS
- A generalization of ordered-pair semantics
- Semantics and expressiveness of ordered SOS
- Cofinality relation, pre-orders and orders, semantics of ORDER BY clause of querics in SQL-like language
Cited in
(only showing first 100 items - show all)- Rank of submodule, linear transformations and linearly independent subsets of Z-module
- Events of Borel sets, construction of Borel sets and random variables for stochastic finance
- Some remarkable identities involving numbers
- Algebraic approach to algorithmic logic
- Difference of function on vector space over F
- Torsion \(\mathbb Z\)-module and torsion-free \(\mathbb Z\)-module
- The first isomorphism theorem and other properties of rings
- Fubini's theorem on measure
- Differentiability of polynomials over reals
- Introduction to Liouville numbers
- All Liouville numbers are transcendental
- Ordered rings and fields
- Embedded lattice and properties of Gram matrix
- Vieta's formula about the sum of roots of polynomials
- Introduction to stopping time in stochastic finance theory
- About quotient orders and ordering sequences
- Basel problem -- preliminaries
- Basel problem
- Dual lattice of \(\mathbb{Z}\)-module lattice
- Definition and properties of direct sum decomposition of groups.
- Matrix of \(\mathbb{Z}\)-module
- -ring and -algebra of sets
- Separability of real normed spaces and its basic properties
- Equivalent expressions of direct sum decomposition of groups.
- Topology from neighbourhoods
- Torsion part of \(\mathbb{Z}\)-module
- Construction of measure from semialgebra of sets
- Characteristic of rings. Prime fields
- Algebra of polynomially bounded sequences and negligible functions
- Propositional linear temporal logic with initial validity semantics
- Cofinality relation, pre-orders and orders, semantics of ORDER BY clause of querics in SQL-like language
- Fundamental group of n-sphere for n 2
- The Borsuk-Ulam theorem
- Formalization of the data encryption standard
- Semantics of MML query
- Simple graphs as simplicial complexes: the Mycielskian of a graph
- Extended Euclidean algorithm and CRT algorithm
- Introduction to rational functions
- The Gödel completeness theorem for uncountable languages
- The derivations of temporal logic formulas
- The properties of sets of temporal logic subformulas
- Weak completeness theorem for propositional linear time temporal logic
- The friendship theorem
- Basic properties of primitive root and order function
- Random variables and product of probability spaces
- Isomorphisms of direct products of finite commutative groups.
- Partial differentiation of vector-valued functions on n-dimensional real normed linear spaces
- Some properties of p-groups and commutative p-groups.
- Riemann integral of functions from R into real normed space
- Normal subgroup of product of groups.
- The Mycielskian of a graph
- Formalization of integral linear space
- Conway's games and some of their basic properties
- Linear transformations of Euclidean topological spaces
- Linear transformations of Euclidean topological spaces. II.
- The axiomatization of propositional linear time temporal logic
- Set of points on elliptic curve in projective coordinates
- Continuity of barycentric coordinates in Euclidean topological spaces
- Brouwer fixed point theorem for simplexes
- Brouwer fixed point theorem in the general case
- Preliminaries to classical first-order model theory
- Definition of first-order language with arbitrary alphabet. Syntax of terms, atomic formulas and their subterms
- First order languages: further syntax and semantics
- Free interpretation, quotient interpretation and substitution of a letter with a term for first-order languages
- Sequent calculus, derivability, provability. Gödel's completeness theorem
- Cayley's theorem.
- Borel-Cantelli lemma
- Representation theorem for stacks
- Elementary introduction to stochastic finance in discrete time
- Valuation theory. I.
- The rotation group
- Differentiable functions on normed linear spaces
- Planes and spheres as topological manifolds. Stereographic projection
- The differentiable functions from R into R^n
- Riemann integral of functions from R into n-dimensional real normed space
- Modelling real world using stochastic processes and filtration
- Divisible \(\mathbb{Z}\)-modules
- Lattice of \(\mathbb{Z}\)-module
- Product pre-measure
- Double sequences and limits
- Formalization of the Advanced Encryption Standard. I
- Isomorphisms of direct products of cyclic groups of prime power order.
- Formulation of cell Petri nets
- Differential equations on functions from \(\mathbb R\) into real Banach space
- Submodule of free \(\mathbb Z\)-module
- Definition of flat poset and existence theorems for recursive call
- Tietze extension theorem for n-dimensional spaces
- Brouwer invariance of domain theorem
- The formalization of decision-free Petri net
- Abstract reduction systems and idea of Knuth-Bendix completion algorithm
- Double series and sums
- Dual spaces and Hahn-Banach theorem
- Flexary operations
- Euler's partition theorem
- Introduction to Diophantine approximation
- Finite product of semiring of sets
- Groups -- additive notation.
- Polish notation
- Convergent filter bases
- Polynomially bounded sequences and polynomial sequences
This page was built for publication: Semantics of MML query -- ordering
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852181)
