MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Rolf Nossum" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • Multicontext Logic for Semigroups of Contexts  
  • by Scientifica E Tecnologica, R. Nossum, L. Serafini, Rolf Nossum, Luciano Serafini — 2002
  • … for semigroups of contexts Rolf Nossum 1 and Luciano Serafini 2 1 Agder University College, Department…
  • Add To MetaCart
  • A Temporal Executable Action Language  
  • by Dov Gabbay, Dov Gabbay (icstm, Rolf Nossum (adh
  • … Language Dov Gabbay (ICSTM) Rolf Nossum (ADH) Abstract This paper presents a temporal language for actions…
  • Add To MetaCart
  • Structured Contexts with Fibred Semantics  
  • by Dov Gabbay And, Dov M. Gabbay, Rolf T. Nossum — 1997
  • … and Rolf T. Nossum Department of Computing Imperial College of Science, Technology and Medicine 180 Queen…
  • Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB