H ? « ‹ ← → › »

Language peer sets for DOHJI:
Japan↑
Japan/1991↑
Designed 1991 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

DOHJI(ID:5025/doh001)

alternate simple view
Country: Japan
Designed 1991

natural language like proof description language, part of the constructive programming system SHUTEN
References:
  • Y.Takayama (1989) Y.Takayama "SHUTEN: A Constructive Programming System" JJSAI 7(4) 1989 Abstract
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder