How to Solve Qualification and Ramification Using Dijkstra's Semantics for Programming Languages

Authors:
Ewa Madalinska-Bugaj
Affiliations:
-
Venue:
AI*IA '97 Proceedings of the 5th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Year:
1997

Citing 0
Cited 3

Lazy Knowledge Base Update

Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
The PMA and Relativizing Minimal Change for Action Update

Fundamenta Informaticae
The PMA and Relativizing Minimal Change for Action Update

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract