skip to main content
Show Results with: Show Results with:

Combining WS1S and HOL

Basin, D. et al.

Studies in logic and computation.; Frontiers of combining systems; , 1998, 2000, 39-56 -- Baldock; Research Studies Press; 2000 (pages 39-56) -- 2000

Check library holdings

  • Title:
    Combining WS1S and HOL
  • Author: Basin, D.;
    Friedrich, S.;
    Gabbay, D. M.;
    Rijke, M. d.
  • Found In: Studies in logic and computation.; Frontiers of combining systems; , 1998, 2000, 39-56
  • Conference Title: Studies in logic and computation.
  • Subjects: systems; FroCoS
  • Publication Details: Baldock; Research Studies Press; 2000
  • Language: English
  • Description: Also known as FroCoS'98; Includes bibliographical references and index
  • Identifier: Conference ISBN: 0863802524
  • Publication Date: 2000
  • Physical Description: Physical
  • Shelfmark(s): 8491.039900
  • UIN: ETOCCN034020231

Searching Remote Databases, Please Wait