Semantics of MML query -- ordering
From MaRDI portal
Publication:2852181
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)- The Borsuk-Ulam theorem
- Events of Borel sets, construction of Borel sets and random variables for stochastic finance
- Definition and properties of direct sum decomposition of groups.
- Matrix of \(\mathbb{Z}\)-module
- Brouwer fixed point theorem for simplexes
- Brouwer fixed point theorem in the general case
- Cayley's theorem.
- Definition of first-order language with arbitrary alphabet. Syntax of terms, atomic formulas and their subterms
- Formalization of integral linear space
- Free interpretation, quotient interpretation and substitution of a letter with a term for first-order languages
- Some properties of \(p\)-groups and commutative \(p\)-groups.
- Valuation theory. I.
- Compactness in metric spaces
- Double sequences and iterated limits in regular space
- Prime factorization of sums and differences of two like powers
- Algebraic numbers
- Leibniz series for
- Niven's theorem
- On subnomials
- The basic existence theorem of Riemann-Stieltjes integral
- The axiomatization of propositional logic
- Simple graphs as simplicial complexes: the Mycielskian of a graph
- Extended Euclidean algorithm and CRT algorithm
- Linear transformations of Euclidean topological spaces. II.
- Formalization of the data encryption standard
- Isomorphisms of direct products of finite commutative groups.
- Random variables and product of probability spaces
- Continuity of barycentric coordinates in Euclidean topological spaces
- Differentiable functions on normed linear spaces
- Riemann integral of functions from \(\mathbb R\) into real normed space
- Representation theorem for stacks
- Riemann integral of functions from \(\mathbb R\) into \(n\)-dimensional real normed space
- The differentiable functions from \(\mathbb R\) into \(\mathcal R^n\)
- The rotation group
- Algebra of polynomially bounded sequences and negligible functions
- Characteristic of rings. Prime fields
- Construction of measure from semialgebra of sets
- Propositional linear temporal logic with initial validity semantics
- Topology from neighbourhoods
- Torsion part of \(\mathbb{Z}\)-module
- The properties of sets of temporal logic subformulas
- Ordered rings and fields
- Weak completeness theorem for propositional linear time temporal logic
- Submodule of free \(\mathbb Z\)-module
- Groups -- additive notation.
- Convergent filter bases
- Polynomially bounded sequences and polynomial sequences
- The orthogonal projection and the Riesz representation theorem
- Some remarkable identities involving numbers
- Separability of real normed spaces and its basic properties
- Algebraic approach to algorithmic logic
- Difference of function on vector space over F
- Borel-Cantelli lemma
- Extended natural numbers and counters
- Elementary introduction to stochastic finance in discrete time
- First order languages: further syntax and semantics
- Preliminaries to classical first-order model theory
- Conway's games and some of their basic properties
- Planes and spheres as topological manifolds. Stereographic projection
- Divisible \(\mathbb{Z}\)-modules
- Lattice of \(\mathbb{Z}\)-module
- Modelling real world using stochastic processes and filtration
- Product pre-measure
- All Liouville numbers are transcendental
- Differentiability of polynomials over reals
- Embedded lattice and properties of Gram matrix
- Introduction to Liouville numbers
- Double sequences and limits
- Introduction to rational functions
- Linear transformations of Euclidean topological spaces
- The Gödel completeness theorem for uncountable languages
- The Mycielskian of a graph
- Abstract reduction systems and idea of Knuth-Bendix completion algorithm
- Brouwer invariance of domain theorem
- Definition of flat poset and existence theorems for recursive call
- Differential equations on functions from \(\mathbb R\) into real Banach space
- Formalization of the Advanced Encryption Standard. I
- Double series and sums
- Dual spaces and Hahn-Banach theorem
- Formulation of cell Petri nets
- Isomorphisms of direct products of cyclic groups of prime power order.
- The formalization of decision-free Petri net
- Tietze extension theorem for \(n\)-dimensional spaces
- Cofinality relation, pre-orders and orders, semantics of ORDER BY clause of querics in SQL-like language
- Sequent calculus, derivability, provability. Gödel's completeness theorem
- The friendship theorem
- Rank of submodule, linear transformations and linearly independent subsets of Z-module
- The first isomorphism theorem and other properties of rings
- Torsion \(\mathbb Z\)-module and torsion-free \(\mathbb Z\)-module
- \(\sigma\)-ring and \(\sigma\)-algebra of sets
- Set of points on elliptic curve in projective coordinates
- The axiomatization of propositional linear time temporal logic
- Euler's partition theorem
- Flexary operations
- Finite product of semiring of sets
- Introduction to Diophantine approximation
- Proth numbers
- Fubini's theorem on measure
- Equivalent expressions of direct sum decomposition of groups.
- Extended real-valued double sequence and its convergence
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)
