|
|||||
|
|
An Application of Logic Engineering |
|
| Authors: | Veloso, Sheila R. M. Veloso, Paulo A. S. de Freitas, Renata P. |
| Affiliation: | 1 Progr. Eng. Sist. e Comput., COPPE, Univ. Fed. do Rio de Janeiro; Caixa Postal 68511, CEP 21945-970 Rio de Janeiro, RJ, Brazil. E-mail: sheila{at}cos.ufrj.br, 2 Progr. Eng. Sist. e Comput., COPPE, Univ. Fed. do Rio de Janeiro. E-mail: veloso{at}cos.ufrj.br, 3 Progr. Eng. Sist. e Comput., COPPE, Univ. Fed. do Rio de Janeiro. E-mail: naborges{at}cos.ufrj.br |
| Abstract: | |
| Keywords: | Logic Engineering modal logic first-order logic relation algebra arrow logic specification formalisms distributed systems |
| 本文献已被 Oxford 等数据库收录！ | |