Mathematical Structures in Computer Science

Publisher： Cambridge University Press

Founded in： 1991

Total resources： 88

E-ISSN： 1469-8072

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

Menu

Quasivarieties and varieties of ordered algebras: regularity and exactness †

Mathematical Structures in Computer Science , Vol. 27, Iss. 7, 2017-10 , pp. 1153-1194

Cambridge University Press

Abstract Access to resources Recommend Favorite

Practical coinduction

Mathematical Structures in Computer Science , Vol. 27, Iss. 7, 2017-10 , pp. 1132-1152

Cambridge University Press

Abstract Access to resources Recommend Favorite

Foreword: special issue on coalgebraic logic

Mathematical Structures in Computer Science , Vol. 27, Iss. 7, 2017-10 , pp. 1108-1110

Cambridge University Press

Abstract Access to resources Recommend Favorite

Well-founded coalgebras, revisited

Mathematical Structures in Computer Science , Vol. 27, Iss. 7, 2017-10 , pp. 1111-1131

Cambridge University Press

Abstract Access to resources Recommend Favorite

Smooth coalgebra: testing vector analysis

Mathematical Structures in Computer Science , Vol. 27, Iss. 7, 2017-10 , pp. 1195-1235

Cambridge University Press

Abstract Access to resources Recommend Favorite

Enhanced coalgebraic bisimulation

Mathematical Structures in Computer Science , Vol. 27, Iss. 7, 2017-10 , pp. 1236-1264

Cambridge University Press

Abstract Access to resources Recommend Favorite

Bisimilarity is not Borel †

Mathematical Structures in Computer Science , Vol. 27, Iss. 7, 2017-10 , pp. 1265-1284

Cambridge University Press

Abstract Access to resources Recommend Favorite

The conservation theorem for differential nets

Mathematical Structures in Computer Science , Vol. 27, Iss. 6, 2017-09 , pp. 939-992

Cambridge University Press

Abstract Access to resources Recommend Favorite

Isomorphism theorems between models of mixed choice

Mathematical Structures in Computer Science , Vol. 27, Iss. 6, 2017-09 , pp. 1032-1067

Cambridge University Press

Abstract Access to resources Recommend Favorite

Constructive forcing, CPS translations and witness extraction in Interactive realizability †

Mathematical Structures in Computer Science , Vol. 27, Iss. 6, 2017-09 , pp. 993-1031

Cambridge University Press

Abstract Access to resources Recommend Favorite

Previous 1 2 3 4 5 Next Display item(s) per page Total 46 item(s)