References in zbMATH (referenced in 6 articles )

Showing results 1 to 6 of 6.
Sorted by year (citations)

  1. Ohkubo, Yuhi; Yokoyama, Tetsuo; Kanayama, Chishun: Clean reversible simulations of ranking binary trees (2018)
  2. Olarte, Carlos; Rueda, Camilo; Valencia, Frank D.: Models and emerging trends of concurrent constraint programming (2013)
  3. Ueda, Kazunori: LMNtal as a hierarchical logic programming language (2009)
  4. Gooday, J. M.; Cohn A. G.: Using spatial logic to describe visual languages. (1996) ioport
  5. Rokusawa, Katsuaki; Nakase, Akihiko; Chikayama, Takashi: Distributed memory implementation of KLIC. (1996) ioport
  6. Ciancarini, Paolo: Distributed programming with logic tuple spaces (1994)