Handbook of logic in computer science (vol. 4): semantic modelling

Authors:
S. Abramsky;Dov M. Gabbay;T. S. E. Maibaum
Affiliations:
Imperial College of Science, Technology and Medicine, London, UK;Imperial College of Science, Technology and Medicine, London, UK;Imperial College of Science, Technology and Medicine, London, UK
Venue:
Handbook of logic in computer science (vol. 4): semantic modelling
Year:
1995

Citing 0
Cited 3

Logic for Computer Science: The Engineering Challenge

Informatics - 10 Years Back. 10 Years Ahead.
Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems

Abstract compositional analysis of iterated relations: a structural approach to complex state transition systems
Stable computational semantics of conflict-free rewrite systems (partial orders with duplication)

RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications

Quantified Score

Hi-index	0.00

Visualization

Abstract