Semantics of MML query -- ordering
From MaRDI portal
Publication:2852181
DOI10.2478/FORMA-2013-0004zbMATH Open1364.68157OpenAlexW1991145337MaRDI QIDQ2852181FDOQ2852181
Authors: Grzegorz Bancerek 
Publication date: 8 October 2013
Published in: Formalized Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/forma-2013-0004
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
Cites Work
Cited In (only showing first 100 items - show all)
- 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
- 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
- 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
- Double sequences and limits
- 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
- Rank of submodule, linear transformations and linearly independent subsets of \(\mathbb 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
- Extended real-valued double sequence and its convergence
- Fermat's little theorem via divisibility of Newton's binomial
- Polish notation
- Weak convergence and weak\(^\ast\) convergence
- Chebyshev distance
- Bertrand's ballot theorem
- Cousin's Lemma
- Cauchy mean theorem
- Lagrange's four-square theorem
- On multiset ordering
- Term context
- Topological manifolds
- 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
- Linear transformations of Euclidean topological spaces. II.
- The properties of sets of temporal logic subformulas
- Ordered rings and fields
- Weak completeness theorem for propositional linear time temporal logic
- Separability of real normed spaces and its basic properties
- Algebraic approach to algorithmic logic
- Difference of function on vector space over \(\mathbb F\)
- Borel-Cantelli lemma
- Extended natural numbers and counters
- All Liouville numbers are transcendental
- Differentiability of polynomials over reals
- Embedded lattice and properties of Gram matrix
- Introduction to Liouville numbers
- Introduction to rational functions
- Linear transformations of Euclidean topological spaces
- The Gödel completeness theorem for uncountable languages
- The Mycielskian of a graph
- 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
- Fubini's theorem on measure
- Equivalent expressions of direct sum decomposition of groups.
- Basel problem -- preliminaries
- Basel problem
- Introduction to stopping time in stochastic finance theory
- Basic properties of primitive root and order function
- Fundamental group of \(n\)-sphere for \(n \geq 2\)
- Semantics of MML query
- The derivations of temporal logic formulas
- Partial differentiation of vector-valued functions on \(n\)-dimensional real normed linear spaces
- About quotient orders and ordering 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)
