Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
Acta Informatica
Journal
Overview
Identifiers
View All
Overview
publication venue for
THE RELAXED MIN-MAX HEAP - A MERGEABLE DOUBLE-ENDED PRIORITY QUEUE
. 30:215-231.
1993
Verification of programs with procedure-type parameters
. 18:149-169.
1982
Identifiers
International Standard Serial Number (ISSN)
0001-5903
Electronic International Standard Serial Number (EISSN)
1432-0525
