المؤلفون: Letsou, Christina, Naeh, Shlomo, Segal, Uzi^{Aff1, IDs00199022014273_cor3}

المصدر: Economic Theory. 74(2):423-445

المؤلفون: Grossi, Davide^{Aff10, Aff11}, Kooi, Barteld^Aff10, Su, Xingchi^Aff10, Verbrugge, Rineke^Aff10

المساهمون: Goos, Gerhard, Founding Editor^Aff1, Hartmanis, Juris, Founding Editor^Aff2, Bertino, Elisa, Editorial Board Member^Aff3, Gao, Wen, Editorial Board Member^Aff4, Steffen, Bernhard, Editorial Board Member^Aff5, Woeginger, Gerhard, Editorial Board Member^Aff6, Yung, Moti, Editorial Board Member^Aff7, Ghosh, Sujata, editor^Aff8, Icard, Thomas, editor^Aff9

المصدر: Logic, Rationality, and Interaction : 8th International Workshop, LORI 2021, Xi'ian, China, October 16-18, 2021, Proceedings. 13039:201-215

المؤلفون: Yan-An Hwang, Yu-Hsien Liao

المصدر: Mathematics, Vol 10, Iss 5, p 806 (2022)

مصطلحات موضوعية: non-transferable-utility situation, the replicated core, converse reduction axiom, Mathematics, QA1-939

وصف الملف: electronic resource

Relation: https://www.mdpi.com/2227-7390/10/5/806; https://doaj.org/toc/2227-7390

URL الوصول: https://doaj.org/article/f038661a260241dcb15314dc12ca6138

المؤلفون: Yu-Hsien Liao

المصدر: Mathematics, Vol 10, Iss 5, p 682 (2022)

مصطلحات موضوعية: non-transferable-utility situation, the replicated core, relative symmetric reducing behavior, reduction axiom, Mathematics, QA1-939

وصف الملف: electronic resource

Relation: https://www.mdpi.com/2227-7390/10/5/682; https://doaj.org/toc/2227-7390

URL الوصول: https://doaj.org/article/fb02e5709edd454a836f2ae4bbbe1bef

المؤلفون: Hawke, Peter^Aff16, Steinert-Threlkeld, Shane^Aff16

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Pandu Rangan, C., Series editor^Aff8, Steffen, Bernhard, Series editor^Aff9, Terzopoulos, Demetri, Series editor^Aff10, Tygar, Doug, Series editor^Aff11, Weikum, Gerhard, Series editor^Aff12, van der Hoek, Wiebe, editor^Aff13, Holliday, Wesley H., editor^Aff14, Wang, Wen-fang, editor^Aff15

المصدر: Logic, Rationality, and Interaction : 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings. 9394:143-155

المؤلفون: Pardo, Pere^Aff21, Sarrión-Morillo, Enrique^Aff21, Soler-Toscano, Fernando^Aff21, Velázquez-Quesada, Fernando R.^Aff21

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Kobsa, Alfred, Series editor^Aff5, Mattern, Friedemann, Series editor^Aff6, Mitchell, John C., Series editor^Aff7, Naor, Moni, Series editor^Aff8, Nierstrasz, Oscar, Series editor^Aff9, Pandu Rangan, C., Series editor^Aff10, Steffen, Bernhard, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Weikum, Gerhard, Series editor^Aff14, Goebel, Randy, Series editor^Aff15, Tanaka, Yuzuru, Series editor^Aff16, Wahlster, Wolfgang, Series editor^Aff17, Siekmann, Jörg, Series editor^Aff18, Fermé, Eduardo, editor^Aff19, Leite, João, editor^Aff20

المصدر: Logics in Artificial Intelligence : 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings. 8761:253-266

المؤلفون: Lorini, Emiliano^Aff22, Dastani, Mehdi^Aff23, van Ditmarsch, Hans^Aff24, Herzig, Andreas^Aff22, Meyer, John-Jules^Aff23

المساهمون: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Goebel, Randy, editor^Aff16, Siekmann, Jörg, editor^Aff17, Wahlster, Wolfgang, editor^Aff18, He, Xiangdong, editor^Aff19, Horty, John, editor^Aff20, Pacuit, Eric, editor^Aff21

المصدر: Logic, Rationality, and Interaction : Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings. 5834:198-211

المؤلفون: Basili, Marcelo, Vercelli, Alessandro

المساهمون: Chichilnisky, Graciela, editor, Heal, Geoffrey, editor, Vercelli, Alessandro, editor

المصدر: Sustainability: Dynamics and Uncertainty. 9:223-242

المؤلفون: Stéphane Demri, Etienne Lozes, Alessio Mansutti

المساهمون: Laboratoire Spécification et Vérification (LSV), Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Informatique, Signaux, et Systèmes de Sophia Antipolis (I3S), Université Nice Sophia Antipolis (... - 2019) (UNS), COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-COMUE Université Côte d'Azur (2015-2019) (COMUE UCA)-Centre National de la Recherche Scientifique (CNRS)-Université Côte d'Azur (UCA)

المصدر: Logical Methods in Computer Science
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2021, 17 (3), pp.17:1--17:64. ⟨10.46298/lmcs-17(3:17)2021⟩
HAL

مصطلحات موضوعية: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, General Computer Science, Computer science, Semantics (computer science), separation logic, core formula, Separation logic, bunched implications logic BI, Theoretical Computer Science, axiomatisation, reduction axiom, Computer Science::Logic in Computer Science, Hilbert-style system, separating conjunction, [INFO]Computer Science [cs], Rule of inference, Axiom, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 16. Peace & justice, Propositional calculus, Logic in Computer Science (cs.LO), Algebra, Feature (linguistics), TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Quantifier (logic), quantifier elimination, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Core (graph theory), magic wand

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::06785b3644dec8f22fb7a91e8863088e
https://lmcs.episciences.org/6548

المؤلفون: Alessio Mansutti, Raul Fervari, Stéphane Demri

المساهمون: Laboratoire Spécification et Vérification (LSV), Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Centre National de la Recherche Scientifique (CNRS), Universidad Nacional de Córdoba [Argentina], Facultad de Matemática, Astronomía y Física [Cordoba] (FaMAF)

المصدر: Journal of Logic and Computation
Journal of Logic and Computation, Oxford University Press (OUP), 2021, 31 (3), pp.832-891. ⟨10.1093/logcom/exab016⟩
HAL

مصطلحات موضوعية: Logic, Computer science, separation logic, 010102 general mathematics, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 01 natural sciences, core formulae, Theoretical Computer Science, Conjunction (grammar), [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], Modal, TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Arts and Humanities (miscellaneous), reduction axiom, 010201 computation theory & mathematics, Hardware and Architecture, completeness, Calculus, modal separation logic, [INFO]Computer Science [cs], 0101 mathematics, Software, modal logic, Hilbert-style axiomatisation

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9794071d68b46f7cee2d50a1ccaa1e0e
https://hal.archives-ouvertes.fr/hal-03185457