Finite failures and partial computations in concurrent logic languages

Authors:
M. Falaschi;G. Levi
Affiliations:
-;-
Venue:
Theoretical Computer Science - Special issue on the international conference on fifth generation computer systems. Tokyo, 1988
Year:
1990

Citing 0
Cited 2

An abstract interpretation framework to reason on finite failure and other properties of finite and infinite computations

Theoretical Computer Science
Theoretical foundations and semantics of logic programming

A 25-year perspective on logic programming

Quantified Score

Hi-index	0.00

Visualization

Abstract