Mathematical Structures in Computer Science,volume 27,issue 3  (03-2017)

Period of time： 2017年3期

Publisher： Cambridge University Press

Founded in： 1991

Total resources： 88

E-ISSN： 1469-8072|27|3

ISSN： 0960-1295

Subject： TP3 Computers

Favorite

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

Mathematical Structures in Computer Science,volume 27,issue 3

Menu

Generalizations of the distributed Deutsch–Jozsa promise problem

Mathematical Structures in Computer Science,volume 27,issue 3 , Vol. 27, Iss. 3, 2017-03 , pp. 311-331

Cambridge University Press

Abstract Access to resources Recommend Favorite

A rewriting framework and logic for activities subject to regulations

Mathematical Structures in Computer Science,volume 27,issue 3 , Vol. 27, Iss. 3, 2017-03 , pp. 332-375

Cambridge University Press

Abstract Access to resources Recommend Favorite

Many-one reductions and the category of multivalued functions

Mathematical Structures in Computer Science,volume 27,issue 3 , Vol. 27, Iss. 3, 2017-03 , pp. 376-404

Cambridge University Press

Abstract Access to resources Recommend Favorite

Lambda theories allowing terms with a finite number of fixed points

Mathematical Structures in Computer Science,volume 27,issue 3 , Vol. 27, Iss. 3, 2017-03 , pp. 405-427

Cambridge University Press

Abstract Access to resources Recommend Favorite

Ordered combinatory algebras and realizability †

Mathematical Structures in Computer Science,volume 27,issue 3 , Vol. 27, Iss. 3, 2017-03 , pp. 428-458

Cambridge University Press

Abstract Access to resources Recommend Favorite

Total 5 item(s)