Many-Sorted Equivalence of Shiny and Strongly Polite Theories

被引：0
|
作者：
机构：
[1] [1,Casal, Filipe
[2] 1,Rasga, João
来源：
Casal, Filipe (filipe.casal@tecnico.ulisboa.pt) | 1600年 / Springer Science and Business Media B.V.卷 / 60期
关键词：
Acknowledgements We would like to thank the anonymous reviewers for their helpful comments. This work was partially supported by Fundação para a Ciência e a Tecnologia by way of Grant UID/MAT/04561/2013 to Centro de Matemática; Aplicações Fundamentais e Investigação Operacional of Universidade de Lisboa (CMAF-CIO). Furthermore; FC acknowledges the support from the DP-PMI and FCT (Portugal) through scholarship SRFH/BD/52243/2013;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
16
引用
收藏
相关论文
共 50 条
  • [31] ORDER-SORTED COMPLETION - THE MANY-SORTED WAY
    GANZINGER, H
    THEORETICAL COMPUTER SCIENCE, 1991, 89 (01) : 3 - 32
  • [32] ORDER-SORTED COMPLETION - THE MANY-SORTED WAY
    GANZINGER, H
    LECTURE NOTES IN COMPUTER SCIENCE, 1989, 351 : 244 - 258
  • [33] EILENBERG THEOREMS FOR MANY-SORTED FORMATIONS
    Vidal, J. Climent
    Llopez, E. Cosme
    HOUSTON JOURNAL OF MATHEMATICS, 2019, 45 (02): : 321 - 369
  • [34] Multicategories and varieties of many-sorted algebras
    Tronin S.N.
    Siberian Mathematical Journal, 2008, 49 (5) : 944 - 958
  • [35] Combining data structures with nonstably infinite theories using many-sorted logic
    Ranise, S
    Ringeissen, C
    Zarba, CG
    FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, 2005, 3717 : 48 - 64
  • [36] Decidable fragments of many-sorted logic
    Abadi, Aharon
    Rabinovich, Alexander
    Sagiv, Mooly
    LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, PROCEEDINGS, 2007, 4790 : 17 - +
  • [37] COMPUTABILITY ON MANY-SORTED PARTIAL STRUCTURES
    SOSKOVA, AA
    DOKLADI NA BOLGARSKATA AKADEMIYA NA NAUKITE, 1990, 43 (01): : 9 - 11
  • [38] QUANTIFICATION OF PREDICATE AND MANY-SORTED LOGIC
    PARRY, WT
    PHILOSOPHY AND PHENOMENOLOGICAL RESEARCH, 1966, 26 (03) : 342 - 360
  • [39] On many-sorted algebraic closure operators
    Vidal, JC
    Tur, JS
    MATHEMATISCHE NACHRICHTEN, 2004, 266 : 81 - 84
  • [40] Strong functors on many-sorted sets
    Levy, Paul B.
    COMMENTATIONES MATHEMATICAE UNIVERSITATIS CAROLINAE, 2019, 60 (04): : 533 - 540
12345