Hochschulschrift

Higher-order structured presentations in a logical framework

to related objects

Location
Deutsche Nationalbibliothek Frankfurt am Main
Dimensions
21 cm
Extent
V, 149 S.
Language
Deutsch
Notes
graph. Darst.
Bremen, Univ., Diss., 1994

Keyword
Softwareentwicklung
Programmtransformation
Korrektheit
Beweis
Formale Spezifikationstechnik

Creator
Liu, Junbo

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, 1:41 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

  • Liu, Junbo

Other Objects (12)

Higher-order block-structured hex meshing of tubular structures

Higher-order block-structured hex meshing of tubular structures

Higher-order block-structured hex meshing of tubular structures

Higher-order block-structured hex meshing of tubular structures

Higher-order computability

Higher-order computability

Higher-Order Tableaux

Higher-Order Tableaux

Higher-order misinformation

Higher-order misinformation

Higher-order learning

Higher-order learning

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

Related objects