TU Darmstadt / ULB / TUbiblio

Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages

Hähnle, Reiner (2005):
Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages.
In: Logic Journal of the IPGL, 13 (4), pp. 415--433. [Article]

Item Type: Article
Erschienen: 2005
Creators: Hähnle, Reiner
Title: Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages
Language: German
Journal or Publication Title: Logic Journal of the IPGL
Volume of the journal: 13
Issue Number: 4
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: Haehnle05a
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details