-
1Academic Journal
Authors: Hirokazu Murao, Tetsuro Fujise
Source: Journal of Symbolic Computation. 21:377-396
Subject Terms: concurrent logic programming language KL1, Computational Mathematics, Algebra and Number Theory, Analysis of algorithms and problem complexity, 0102 computer and information sciences, Parallel algorithms in computer science, 0101 mathematics, 01 natural sciences
File Description: application/xml
Linked Full TextAccess URL: https://zbmath.org/968642
https://doi.org/10.1006/jsco.1996.0020
https://core.ac.uk/display/82603892
https://www.sciencedirect.com/science/article/pii/S0747717196900206
https://dblp.uni-trier.de/db/journals/jsc/jsc21.html#MuraoF96
https://www.sciencedirect.com/science/article/abs/pii/S0747717196900206