Florida International University
Edit Your Profile
FIU Discovery
Toggle navigation
Browse
Home
People
Organizations
Scholarly & Creative Works
Research Facilities
Support
Edit Your Profile
ACTA INFORMATICA
Journal
Overview
Research
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
Research
category
COMPUTER SCIENCE, INFORMATION SYSTEMS
Category
Identifiers
International Standard Serial Number (ISSN)
0001-5903