Higher-order reductions of the Mikhalev system

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
1 Online-Ressource.
Sprache
Englisch

Erschienen in
Higher-order reductions of the Mikhalev system ; volume:114 ; number:3 ; day:26 ; month:5 ; year:2024 ; pages:1-22 ; date:6.2024
Letters in mathematical physics ; 114, Heft 3 (26.5.2024), 1-22, 6.2024

Urheber
Ferapontov, E. V.
Novikov, V. S.
Roustemoglou, I.
Beteiligte Personen und Organisationen
SpringerLink (Online service)

DOI
10.1007/s11005-024-01811-1
URN
urn:nbn:de:101:1-2409232104022.691899079126
Rechteinformation
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
15.08.2025, 07:31 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

  • Ferapontov, E. V.
  • Novikov, V. S.
  • Roustemoglou, I.
  • SpringerLink (Online service)

Ähnliche Objekte (12)

Higher-order computability

Higher-order computability

Higher-Order Tableaux

Higher-Order Tableaux

Higher-order misinformation

Higher-order misinformation

Higher-order learning

Higher-order learning

Higher-Order Order-Sorted Resolution

Higher-Order Order-Sorted Resolution

Polarized higher-order subtyping

Hochschulschrift

Polarized higher-order subtyping

Explaining Higher-order Defeat

Explaining Higher-order Defeat

Exploring higher-order risk effects

Arbeitspapier

Exploring higher-order risk effects

Higher-order constraint logic programming

Hochschulschrift

Higher-order constraint logic programming

Higher-order and symbolic computation

Zeitschrift

Higher-order and symbolic computation

Learning higher-order logic programs

Learning higher-order logic programs

Peridynamic Higher-Order Beam Formulation

Peridynamic Higher-Order Beam Formulation

Verbundene Objekte