H ?
«
‹
←
→
›
»
Language peer sets for Cactus: Greece↑ Greece/1998↑ Designed 1998 ↑ 1990s languages ↑ Internet↑ New internationlism↑ Cactus(ID:2852/cac002)alternate simple viewCountry: Greece Designed 1998 Branching-time programming language(branching rather than linear) Related languages
References: in Dov M. Gabbay, et al (1997) Dov M. Gabbay, et al "Qualitative and Quantitative Practical Reasoning" First International Joint Conference on Qualitative and Quantitative Practical Reasoning ECSQARU-FAPR'97, Bad Honnef, Germany, June 9-12, 1997, Proceedings. Lecture Notes in Computer Science 1244 Springer 1997, in (1998) Computer Languages 24(3) in Gergatsoulis, M. (2000) Gergatsoulis, M. and P. Rondogiannis (editors), Intensional Programming II, pages 117-132, World Sientific, 2000 Search in: Google Google scholar World Cat Yahoo Overture DBLP Monash bib NZ IEEE  ACM portal CiteSeer CSB ncstrl jstor Bookfinder |