Imperative history: two-dimensional executable temporal logic (1999)
Finger, Marcelo 
; Reynolds, Mark C.
Source: Logic, language and reasoning : essays in honour of Dov Gabbay. Unidade: IME
Assunto: LÓGICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FINGER, Marcelo e REYNOLDS, Mark C. Imperative history: two-dimensional executable temporal logic. Logic, language and reasoning : essays in honour of Dov Gabbay. Tradução . Dordrecht: Springer, 1999. . Disponível em: https://doi.org/10.1007/978-94-011-4574-9_5. Acesso em: 04 jan. 2026.APA
Finger, M., & Reynolds, M. C. (1999). Imperative history: two-dimensional executable temporal logic. In Logic, language and reasoning : essays in honour of Dov Gabbay. Dordrecht: Springer. doi:10.1007/978-94-011-4574-9_5NLM
Finger M, Reynolds MC. Imperative history: two-dimensional executable temporal logic [Internet]. In: Logic, language and reasoning : essays in honour of Dov Gabbay. Dordrecht: Springer; 1999. [citado 2026 jan. 04 ] Available from: https://doi.org/10.1007/978-94-011-4574-9_5Vancouver
Finger M, Reynolds MC. Imperative history: two-dimensional executable temporal logic [Internet]. In: Logic, language and reasoning : essays in honour of Dov Gabbay. Dordrecht: Springer; 1999. [citado 2026 jan. 04 ] Available from: https://doi.org/10.1007/978-94-011-4574-9_5
