Rewriting Higher-Order Stack Trees

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1433-0490
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
online resource.

Erschienen in
Rewriting Higher-Order Stack Trees ; day:2 ; month:5 ; year:2017 ; pages:1-45
Theory of computing systems ; (2.5.2017), 1-45

Klassifikation
Mathematik

Urheber
Penelle, Vincent
Beteiligte Personen und Organisationen
SpringerLink (Online service)

DOI
10.1007/s00224-017-9769-6
URN
urn:nbn:de:1111-201705131723
Rechteinformation
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

  • Penelle, Vincent
  • 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 tree-level amplitudes in the nonlinear sigma model

Higher-order tree-level amplitudes in the nonlinear sigma model

Infinite graphs generated by tree rewriting

Hochschulschrift

Infinite graphs generated by tree rewriting

Infinite graphs generated by tree rewriting

Hochschulschrift | Online-Publikation

Infinite graphs generated by tree rewriting

Polarized higher-order subtyping

Hochschulschrift

Polarized higher-order subtyping

Explaining Higher-order Defeat

Explaining Higher-order Defeat

Higher derived Artin stacks

zweidimensionales bewegtes Bild

Higher derived Artin stacks

Erratum to: Higher-order tree-level amplitudes in the nonlinear sigma model

Erratum to: Higher-order tree-level amplitudes in the nonlinear sigma model

Exploring higher-order risk effects

Arbeitspapier

Exploring higher-order risk effects

Verbundene Objekte