Multi-sorted residuation

被引：0
|
作者：
Buszkowski, Wojciech [1 ]
机构：
[1] Buszkowski, Wojciech
来源：
Buszkowski, W. (buszko@amu.edu.pl) | 1600年 / Springer Verlag卷 / 8222期
关键词：
Differentiation (calculus) - Computer circuits;
D O I：
10.1007/978-3-642-54789-8_8
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：136 / 155
相关论文
共 50 条
  • [1] DECOMPOSITION THEOREM FOR MULTI-SORTED ALGEBRAS
    KNOEBEL, RA
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (07): : A677 - A677
  • [2] An algebraic approach to multi-sorted constraints
    Bulatov, AA
    Jeavons, P
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 2003, PROCEEDINGS, 2003, 2833 : 183 - 198
  • [3] Rigidification of algebras over multi-sorted theories
    Bergner, Julia E.
    ALGEBRAIC AND GEOMETRIC TOPOLOGY, 2006, 6 : 1925 - 1955
  • [4] A MULTI-SORTED VERSION OF SECOND ORDER ARITHMETIC
    Kachapova, Farida
    AUSTRALASIAN JOURNAL OF LOGIC, 2016, 13 (05) : 123 - 135
  • [5] Multi-Sorted Logic, Models, and Logical Geometry
    Aladova E.
    Gvaramia A.
    Plotkin B.
    Plotkin T.
    Journal of Mathematical Sciences, 2016, 214 (6) : 742 - 754
  • [6] Category semantics for fusion and refinement of multi-sorted specifications
    Tomasik, Jerzy
    Weyman, Jerzy
    2006 9TH INTERNATIONAL CONFERENCE ON INFORMATION FUSION, VOLS 1-4, 2006, : 499 - 506
  • [7] Generalised states: a multi-sorted algebraic approach to probability
    Kroupa, Tomas
    Marra, Vincenzo
    SOFT COMPUTING, 2017, 21 (01) : 57 - 67
  • [8] MULTI-SORTED LOGIC AND LOGICAL GEOMETRY: SOME PROBLEMS
    Plotkin, B.
    Plotkin, E.
    DEMONSTRATIO MATHEMATICA, 2015, 48 (04) : 578 - 619
  • [9] Generalised states: a multi-sorted algebraic approach to probability
    Tomáš Kroupa
    Vincenzo Marra
    Soft Computing, 2017, 21 : 57 - 67
  • [10] Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
    Schroeder, Lutz
    Pattinson, Dirk
    MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2011, 21 (02) : 235 - 266
12345