Loading...
Loading...

Go to the content (press return)

ALGEBRAIC METHODS IN THE COMPOSITIONAL ANALYSIS OF LOGI PROGRAMS

Author
Orejas, F.
Type of activity
Presentation of work at congresses
Name of edition
10TH ADT WORKSHOP AND 6TH GENERAL COMPASS MEETING
Date of publication
1994
Presentation's date
1994-05-30
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants