H ? « ‹ ← → › »

Language peer sets for Gentzen:
United States↑
United States/1994↑
Designed 1994 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

Gentzen(ID:3758/gen019)

alternate simple view
Country: United States
Designed 1994

Timed concurrent constraint language

Saraswat XPARC 1994

References:
  • Zapiski Nauchnykh Seminarov Leningradskogo Otdelen (1994) Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 58, pp. 130?148, 1976.
          in Constraint Programming, B. (1994) Constraint Programming, B. Mayoh, E. Tougu, J. Penjam (Eds.), NATO Advanced Science Institute Series, Series F: Computer and System Sciences, Vol 131, Springer-Verlag, 1994
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder