Two-dimensional executable temporal logic for bitemporal databases (2000)
- Authors:
- Autor USP: FINGER, MARCELO - IME
- Unidade: IME
- DOI: 10.1007/978-94-015-9586-5_20
- Assunto: LÓGICA
- Agências de fomento:
- Language: Inglês
- Imprenta:
- Source:
- Título: Advances in temporal logic
- Este periódico é de assinatura
- Este artigo NÃO é de acesso aberto
- Cor do Acesso Aberto: closed
-
ABNT
FINGER, Marcelo e REYNOLDS, Mark. Two-dimensional executable temporal logic for bitemporal databases. Advances in temporal logic. Tradução . Dordrecht: Springer, 2000. . Disponível em: https://doi.org/10.1007/978-94-015-9586-5_20. Acesso em: 18 nov. 2024. -
APA
Finger, M., & Reynolds, M. (2000). Two-dimensional executable temporal logic for bitemporal databases. In Advances in temporal logic. Dordrecht: Springer. doi:10.1007/978-94-015-9586-5_20 -
NLM
Finger M, Reynolds M. Two-dimensional executable temporal logic for bitemporal databases [Internet]. In: Advances in temporal logic. Dordrecht: Springer; 2000. [citado 2024 nov. 18 ] Available from: https://doi.org/10.1007/978-94-015-9586-5_20 -
Vancouver
Finger M, Reynolds M. Two-dimensional executable temporal logic for bitemporal databases [Internet]. In: Advances in temporal logic. Dordrecht: Springer; 2000. [citado 2024 nov. 18 ] Available from: https://doi.org/10.1007/978-94-015-9586-5_20 - Técnicas de otimização da precisão empregadas no etiquetador Tycho Brahe
- Concurrency control for perceivedly instantaneous transactions in valid-time databases
- Resource use pattern analysis for predicting resource availability in opportunistic grids
- Completeness for cut-based abduction
- On the predictability of classical propositional logic
- Automated classification of pathology reports
- Minimal axiomatizations and algebraic rings: a conjectured relationship
- Towards an efficient prover for the C1 paraconsistent logic
- Computational solutions for structural constraints: learning structural permissions in categorial grammar
- Inteligência artificial e os rumos do processamento do português brasileiro
Informações sobre o DOI: 10.1007/978-94-015-9586-5_20 (Fonte: oaDOI API)
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
