Author:
Ciarlini Angelo E. M.,Furtado Antonio L.
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Brown, G., G. Yule: Discourse Analysis. Cambridge University Press (1983)
2. Casanova, M.A., Bernstein, P.: A Formal System for Reasoning about Programs Accessing a Relational Database. ACM Transactions on Programming Languages and Systems, 2(3) (1980) 386–414
3. Ciarlini, A., Veloso, P., Furtado, A.: A Formal Framework for Modelling at the Behavioural Level. In: Proc. The Tenth European-Japanese Conference on Information Modelling and Knowledge Bases, Saariselkä, Finland (2000)
4. Cervesato, I., Franceschet, M., Montanari, A.: Modal Event Calculi with Preconditions. In: Proc. of the 4th. International Workshop on Temporal Representation and Reasoning, Daytona Beach, FL, USA (1997) 38–45
5. Cervesato, I., Montanari, A.: A Calculus of Macro-Events: Progress Report. In: Proc. of the Seventh International Workshop on Temporal Representation and Reasoning-TIME’00, Nova Scotia, Canada (2000)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献