News Help Institutional access
Back to results
Bibliographic record · Consultation and access
Document

An extension to EMTPL

Cobo, María Laura et al · SEDICI UNLP · 2002

Open-access full text
Quick overview. Review the resource’s basic details, then access the content using the main button. This page shows only the information needed to identify, cite, and open the work.
Author / responsible party
Cobo, María Laura et al
Publisher
SEDICI UNLP
Year
2002
Language
English

Resource access

Open the content from the main option or choose another available source.

SEDICI UNLP SEDICI UNLP OAI-PMH
Entrar por SEDICI UNLP
Main access

Open-access full text

Texto completo identificado como acceso abierto.
Open text

Summary

Descripción general del contenido del recurso.

The development of languages allowing a proper handling of time is important in many areas of computer science because the capability to deal with the notions of change and time are essential to solve their problems. In the development of EMTPL [CA99a] we focused the research work in making the languages useful in the area of databases, where some problems demand the possibility to represent and use temporal information. We achieve that goal, although we managed the negation in a way that causes the lost of some properties of the underlying logic. This logic was deeply studied and it is one of the most famous metric temporal logics [Pri67a]. The main idea of this work is to extend EMTPL by the addition of a new operator, and also grant the negation with its logic meaning. Eje: Ingeniería de Software y Base de Datos Red de Universidades con Carreras en Informática (RedUNCI)

How to cite

Elegí el formato que necesitás y copiá la referencia al portapapeles.

APA 7

Cobo, M. L. E. A. (2002). An extension to EMTPL. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/21891

MLA

Cobo, María Laura et al. An extension to EMTPL. SEDICI UNLP, 2002. http://sedici.unlp.edu.ar/handle/10915/21891.

Chicago

Cobo, María Laura et al. 2002. An extension to EMTPL. SEDICI UNLP. http://sedici.unlp.edu.ar/handle/10915/21891.

Harvard

Cobo, M. L. E. A. 2002, An extension to EMTPL, SEDICI UNLP, available at: http://sedici.unlp.edu.ar/handle/10915/21891 [Accessed 7 Aug. 2026].

Share and print

Save the record, copy its permanent link, or print it as a PDF.

Export reference

You can export the record in common formats for use in a reference manager.

RIS BibTeX

Resource details

Bibliographic information to help confirm that this is the correct material.

Title
An extension to EMTPL
Author / contributors
Cobo, María Laura et al
Publisher
SEDICI UNLP
Publication year
2002
Language
English

Subjects

Explore related resources through these subjects.

Ciencias Informáticas; base de datos; Languages; Metrics; SOFTWARE ENGINEERING; Programming Languages; Metric Temporal Logic; Deductive Databases; Negation
Copied