Hochschulschrift

Subclass inheritance in spectral and higher-order pattern narrowing

to connected objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Dimensions
21 cm
Extent
121 S.
Language
Englisch
Notes
graph. Darst.
Bremen, Univ., Diss., 1998

Classification
Informatik
Keyword
Modulare Programmierung
Algebraische Spezifikation
Subclass
Typisierter Lambda-Kalkül
Funktional-logische Programmiersprache
Termersetzungssystem

Creator

Table of contents
Rights
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
Last update
11.06.2025, 2:17 PM CEST

Data provider

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

Object type

  • Hochschulschrift

Associated

Other Objects (12)

Higher-Order Tableaux

Higher-Order Tableaux

Higher-order computability

Higher-order computability

Polarized higher-order subtyping

Hochschulschrift

Polarized higher-order subtyping

Higher-Order Order-Sorted Resolution

Higher-Order Order-Sorted Resolution

Higher-order constraint logic programming

Hochschulschrift

Higher-order constraint logic programming

Higher-Order Multi-Valued Resolution

Higher-Order Multi-Valued Resolution

Exploring higher-order risk effects

Arbeitspapier

Exploring higher-order risk effects

Higher-Order Spreadsheets with Spilled Arrays

zweidimensionales bewegtes Bild

Higher-Order Spreadsheets with Spilled Arrays

Henkin Completeness of Higher-Order Resolution

Henkin Completeness of Higher-Order Resolution

Higher-order statistics in cosmic shear

Higher-order statistics in cosmic shear

Higher-Order Methods for Differential Inclusions

Higher-Order Methods for Differential Inclusions

Event structures with higher-order dynamics

Hochschulschrift

Event structures with higher-order dynamics

Related objects