About

Log in?

DTU users get better search results including licensed content and discounts on order fees.

Anyone can log in and get personalized features such as favorites, tags and feeds.

Log in as DTU user Log in as non-DTU user No thanks

DTU Findit

Recent

Boolean: (bicycle AND helmet) OR (head AND protection) (always group AND in parenthesis)
Title: title:(climate change)
Author: author:("bohr niels" OR "bohr n") (avoid only full first name)
Phrase: "water pump control" (does not work with wildcards)
Wildcards: wom?n pharm*

More help on how to search

Flexible matching

About search syntax

Search syntax Advanced
Close advanced
{{problem}}
By field Using AND/OR By author
This tool can help you build boolean queries suitable for doing a broad search for different synonyms or spellings of each word. Start via the drop-down below or just start typing in the search field.
{{ row.typeTitle }}: ( )

Since our index often lack the full first name of people it can be difficult to correctly search by author.

Fill in the fields and let us help you build a good query:

If you need to find everything possible, consider only searching by last name.

Use "Starting year" to ignore publications out of year range.

Author: Haxthausen remove
Filter results...

Interpreted as:

title:(CASL AND The AND COFI AND Algebraic AND Specification AND Language AND Tentative AND Design\: AND Language AND Summary)

Suggestions: Include records that partially match the query

Filter results
Access
Type
Language
Year
From DTU
Advanced
Previous 1 - 3 of 3 Next
Export
10 items by relevance
1 Report

CASL - The COFI Algebraic Specification Language Tentative Design: Language Summary

Haxthausen, Anne

Year: 1996

Language: English

More...
a fbdnojchi mekplg
2 Report

CASL - The CoFI Algebraic Specification Language (Tentative Design, version 0.95) -- Language Summary with annotations concerning questions and doubts

Haxthausen, Anne

This is version 0.95 of the official summary of the Tentative Design of CASL, the CoFI Algebraic Specification Language, annotated by the CoFI Semantics Task Group with questions and doubts concerning the meaning of constructs and the semantics of the interaction of constructs, and with notes

Year: 1997

Language: English

More...
ml bnfec jhpi kdgoa
3 Report

CASL - The CoFI Algebraic Specification Language (Tentative Design, version 0.95) - Language Summary, with annotations concerning the semantics of constructs

Haxthausen, Anne

This is version 0.95 of the official summary of the Tentative Design of CASL, the CoFI Algebraic Specification Language, annotated by the CoFI Semantics Task Group with suggestions for the semantics of constructs.

Year: 1997

Language: English

More...
honjlfbc ga dpm iek

DTU users get better search results including licensed content and discounts on order fees.

Log in as DTU user