Distributed concurrent linear logic programming

Author： Kobayashi N.   Shimizu T.   Yonezawa A.  

Publisher： Elsevier

ISSN： 0304-3975

Source： Theoretical Computer Science, Vol.227, Iss.1, 1999-09, pp. : 185-220

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Constraint Satisfaction in Distributed Concurrent Logic Programming

By Leung H.F.   Clark K.L.  

Journal of Symbolic Computation, Vol. 21, Iss. 4, 1996-04 ,pp. : 699-714

Academic Press

Access to resources Recommend Favorite

Formal verification of a programming logic for a distributed programming language

By Zhang C.   Olsson R.A.   Levitt K.N.  

Theoretical Computer Science, Vol. 216, Iss. 1, 1999-03 ,pp. : 213-235

Elsevier

Access to resources Recommend Favorite

Concurrent processing of mixed-integer non-linear programming problems

By Östermark Ralf  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 38, Iss. 6, 2009-01 ,pp. : 966-989

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

Distributed Fejer Processes for Systems of Linear Inequalities and Problems of Linear Programming

By Berdnikova E. A.   Eremin I. I.   Popov L. D.  

Automation and Remote Control, Vol. 65, Iss. 2, 2004-02 ,pp. : 168-183

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite

Integrating Linear Physical Programming and Fuzzy Logic for Robot Selection

By  

International Journal of Robotics Applications and Technologies (IJRAT), Vol. 5, Iss. 2, 2017-07 ,pp. : 1-17

IGI Global_journal

Access to resources Recommend Favorite