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.
Interpreted as:
journal:(Theoretical AND Computer AND Science) AND title:(Order-sorted AND Algebraic AND Specifications AND with AND Higher-order)
Suggestions: Include records that partially match the query
Order-sorted Algebraic Specifications with Higher-order
Theoretical Computer Science — 1997, Volume 183, Issue 2, pp. 157-185
Year: 1997
Language: English
Order-sorted algebraic specifications with higher-order functions 10.1016/S0304-3975(96)00323-4
Theoretical Computer Science — 1997, Volume 183, Issue 2, pp. 157-185
Year: 1997
Language: English