Mathematical Structures in Computer Science,volume 27,issue 7  (10-2017)

Period of time： 2017年7期

Publisher： Cambridge University Press

Founded in： 1991

Total resources： 88

E-ISSN： 1469-8072|27|7

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 7

Menu

Foreword: special issue on coalgebraic logic

Mathematical Structures in Computer Science,volume 27,issue 7 , 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,volume 27,issue 7 , Vol. 27, Iss. 7, 2017-10 , pp. 1111-1131

Cambridge University Press

Abstract Access to resources Recommend Favorite

Practical coinduction

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

Cambridge University Press

Abstract Access to resources Recommend Favorite

Quasivarieties and varieties of ordered algebras: regularity and exactness †

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

Cambridge University Press

Abstract Access to resources Recommend Favorite

Smooth coalgebra: testing vector analysis

Mathematical Structures in Computer Science,volume 27,issue 7 , 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,volume 27,issue 7 , 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,volume 27,issue 7 , Vol. 27, Iss. 7, 2017-10 , pp. 1265-1284

Cambridge University Press

Abstract Access to resources Recommend Favorite

Total 7 item(s)