Greedy pebbling for proof space compression

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1433-2787
Extent
Online-Ressource
Language
Englisch
Notes
online resource.

Bibliographic citation
Greedy pebbling for proof space compression ; day:27 ; month:6 ; year:2017 ; pages:1-16
International journal on software tools for technology transfer ; (27.6.2017), 1-16

Creator
Fellner, Andreas
Contributor
Woltzenlogel Paleo, Bruno
SpringerLink (Online service)

DOI
10.1007/s10009-017-0459-0
URN
urn:nbn:de:1111-201709223740
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
15.08.2025, 7:32 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Show original at data provider

Associated

  • Fellner, Andreas
  • Woltzenlogel Paleo, Bruno
  • SpringerLink (Online service)

Other Objects (12)

Greedy weights for matroids

Greedy weights for matroids

The greedy boy

Grafik

The greedy boy

The greedy boy

Grafik

The greedy boy

Greedy Oriented Flows

Greedy Oriented Flows

Greedy Oriented Flows

Greedy Oriented Flows

Mother Church's greedy boy

Grafik

Mother Church's greedy boy

Heuristiken: Der Greedy-Algorithmus

zweidimensionales bewegtes Bild

Heuristiken: Der Greedy-Algorithmus

insatiable. A love story for greedy girls

Buch

insatiable. A love story for greedy girls

On a greedy approach for genome scaffolding

On a greedy approach for genome scaffolding

Lebesgue constants for Chebyshev thresholding greedy algorithms

Lebesgue constants for Chebyshev thresholding greedy algorithms

Greedy Dip-In. Feministischer Open Space für FrauenLesbenBiTransInterA

Visuelle Materialien

Greedy Dip-In. Feministischer Open Space für FrauenLesbenBiTransInterA

Greedy Sampling using Nonlinear Optimization

Greedy Sampling using Nonlinear Optimization

Related objects