The composition method

Authors:
Yuri Gurevich;Alexis Manaster Ramer;Ruth Suzanne Zeitman
Affiliations:
-;-;-
Venue:
The composition method
Year:
1994

Citing 0
Cited 4

Composition Theorem for Generalized Sum

Fundamenta Informaticae
Composition Theorems for Generalized Sum and Recursively Defined Types

Electronic Notes in Theoretical Computer Science (ENTCS)
On rational trees

CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Composition Theorem for Generalized Sum

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract