H ? « ‹ ← → › »

Language peer sets for WS1S:
Designed 1988 ↑
1980s languages ↑
Fifth generation↑
Late Cold War↑

WS1S(ID:3311/wss001)

alternate simple view
Designed 1988
Published: 1988

weak second-order monadic logic of one successor
References:
  • Basin, D. (1998) Basin, D. and S. Friedrich. Combining WS1S and HOL. In Frontiers of Combining Systems, Second International Workshop, Amsterdam, September 1998, Applied Logic Series. Kluwer Academic Publishers, 1998.
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder