A Formal Operational Semantics for Languages of Type Prolog III

Authors:
Egon Börger;Peter H. Schmitt
Affiliations:
-;-
Venue:
CSL '90 Proceedings of the 4th Workshop on Computer Science Logic
Year:
1990

Citing 0
Cited 1

High Level System Design and Analysis Using Abstract State Machines

FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract