U. W. Lipeck


AuthID: R-006-FKD

Publications Awaiting Confirmation

1
TITLE: Specifying with defaults: Compositional semantics  Full Text
AUTHORS: Dionisio, FM; Lipeck, UW;
PUBLISHED: 1998, SOURCE: 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 97) in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 1376
INDEXED IN: WOS
2
TITLE: Specifying with defaults: Compositional semantics
AUTHORS: Miguel M Dionísio; Udo W Lipeck;
PUBLISHED: 1998, SOURCE: Recent Trends in Algebraic Development Techniques - Lecture Notes in Computer Science
INDEXED IN: CrossRef

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service