Akten

Memo (to myself) after reading Buchberger: History and basic features of the critical-pair/completion procedure

zu Verbundenen Objekten

Enthält: handschriftliche Notiz, bezieht sich auf einen Artikel von Bruno Buchberger aus: Journal of Symbolic Computation 3 (1987)

Archivaliensignatur
PAKN, GK Georg Kreisel, GK 4-3-6
Umfang
1 Bl.

Kontext
Georg Kreisel >> Salzburg-Teil >> Manuskripte >> Notizen, Teilstücke und Fragmente
Bestand
PAKN, GK Georg Kreisel

Laufzeit
[ca. 1987]

Weitere Objektseiten
Objekt im "Archivportal-D" anzeigen
Letzte Aktualisierung
10.06.2025, 11:28 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Objekttyp

  • Sachakte

Entstanden

  • [ca. 1987]

Ähnliche Objekte (12)

Memo ... (to myself)

Archivale

Memo ... (to myself)

About myself (about "myself"?)

Archivale

About myself (about "myself"?)

Says myself to myself

Grafik

Says myself to myself

Buchberger

Akten

Buchberger

To myself

Archivale

To myself

Composing myself

Composing myself

Another myself

Comic

Another myself

A completion procedure for globally finite term rewriting systems

A completion procedure for globally finite term rewriting systems

Buchberger, Lorenz

Akten

Buchberger, Lorenz

Buchberger, Florian

Akten

Buchberger, Florian

Buchberger, Sebastian

Akten

Buchberger, Sebastian

Buchberger, Andreas

Akten

Buchberger, Andreas

Verbundene Objekte