Iniciar sesión
Registrarse
Restablecer contraseña
Publicar y Distribuir
Soluciones de Publicación
Soluciones de Distribución
Temas
Publicaciones
Revistas
Libros
Actas
Editoriales
Blog
Contacto
Buscar
Carrito
EUR
USD
GBP
Español
English
Deutsch
Polski
Español
Français
Italiano
Home
Revistas
Formalized Mathematics
Volumen 20 (2012): Edición 2 (December 2012)
Acceso abierto
Semantics of MML Query
Grzegorz Bancerek
Grzegorz Bancerek
| 02 feb 2013
Formalized Mathematics
Volumen 20 (2012): Edición 2 (December 2012)
Acerca de este artículo
Artículo anterior
Artículo siguiente
Resumen
Referencias
Autores
Artículos en este número
Vista previa
PDF
Cite
Compartir
Publicado en línea:
02 feb 2013
Páginas:
147 - 155
DOI:
https://doi.org/10.2478/v10037-012-0017-x
This content is open access.
In the paper the semantics of MML Query queries is given. The formalization is done according to [4]