May I borrow your logic?-Reference-Cited by-同舟云学术

May I borrow your logic?

Published:1993 Issue: Volume: Page:342-351
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Cerioli Maura,Meseguer José

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-57182-5_26.pdf

Reference23 articles.

1. E. Astesiano and M. Cerioli. Partial higher-order specifications. Fundamenta Informaticae, 16(2):101–126, 1992.

2. number 655 in LNCS;E. Astesiano,1993

3. R.M. Burstall and J.A. Goguen. The semantics of Clear, a specification language. In D. Bjørner, editor, Proceedings of the 1979 Copenhagen Winter School on Abstract Software Specification, number 86 in LNCS, pages 292–332, Berlin, 1980. Springer Verlag.

4. M. Cerioli and J. Meseguer. May I borrow your logic? Technical report, SRI International, Computer Science Laboratory, 1993. To appear.

5. H. Ehrig, M. Baldamus, and F. Cornelius. Theory of algebraic module specification including behavioural semantics, constraints and aspects of generalized morphisms. In Proceedings of 2nd International Conference on Algebraic Methodology and Software Technology, pages 101–125, Iowa City, Iowa, USA, 1991.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Using Common Sense Invariants in Belief Management for Autonomous Agents;Modern Advances in Applied Intelligence;2014

2. Proof Support for RAISE by a Reuse Approach Based on Institutions;Algebraic Methodology and Software Technology;2004

3. Parameterisation of Logics;Recent Trends in Algebraic Development Techniques;1999

4. Towards heterogeneous formal specifications;Algebraic Methodology and Software Technology;1996

5. Institutional frames;Recent Trends in Data Type Specification;1995