Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Merge two items
In other projects
MaRDI portal item
Discussion
View source
View history
Purge
English
Log in

Odd-even sort in powerlists

From MaRDI portal
Publication:1391957
Jump to:navigation, search

DOI10.1016/S0020-0190(96)00192-5zbMath0925.68119OpenAlexW2054184686MaRDI QIDQ1391957

Jacob Kornerup

Publication date: 23 July 1998

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(96)00192-5


zbMATH Keywords

parallel algorithmsfunctional programmingprogramming calculiprogram derivation


Mathematics Subject Classification ID

Searching and sorting (68P10) Theory of software (68N99)


Related Items (1)

A formalization of powerlist algebra in ACL2




Cites Work

  • Unnamed Item
  • Unnamed Item
  • Mapping a functional notation for parallel programs onto hypercubes
  • The automated proof of a trace transformation for a bitonic sort




This page was built for publication: Odd-even sort in powerlists

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1391957&oldid=13544321"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
This page was last edited on 31 January 2024, at 15:57.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki