Two-dimensional executable temporal logic for bitemporal databases

Marcelo Finger Mark Reynolds

Barringer Howard et al, ed Advances in temporal logic Dordrecht : Springer, 2000

Localização: IME - Inst. Matemática e Estatística (PROD-1024198 ) e outros locais(Acessar)

Título:
Two-dimensional executable temporal logic for bitemporal databases
Autor: Marcelo Finger
Mark Reynolds
Assuntos: LÓGICA
É parte de: Barringer Howard et al, ed Advances in temporal logic Dordrecht : Springer, 2000
Notas: Disponível em: https://doi.org/10.1007/978-94-015-9586-5_20. Acesso em: 27 set. 2021
Títulos relacionados: Série:Applied Logic v. 16
Editor: Dordrecht Springer
Data de criação/publicação: 2000
Formato: p. 393-411.
Idioma: Inglês

Links

Voltar para lista de resultados