المؤلفون: Pulcini, Gabriele^{Aff1, IDs00153023008924_cor1}

المصدر: Archive for Mathematical Logic. 63(1-2):211-223

المؤلفون: Pulcini, Gabriele^{Aff1, IDs00153021008008_cor1}

المصدر: Archive for Mathematical Logic. 61(3-4):555-565

المؤلفون: Hou, Zhe^Aff4

المساهمون: Gries, David, Series Editor^Aff1, Hazzan, Orit, Series Editor^Aff2, Hou, Zhe^Aff3

المصدر: Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification. :3-44

المؤلفون: Bílková, Marta, Colacito, Almudena^Aff2

المصدر: Studia Logica: An International Journal for Symbolic Logic. 108(4):649-686

المؤلفون: DYCKHOFF, ROY

المصدر: The Journal of Symbolic Logic, 2018 Dec 01. 83(4), 1680-1682.

URL الوصول: https://www.jstor.org/stable/26600396

المؤلفون: Trafford, James^Aff3

المساهمون: Magnani, Lorenzo, Series editor^Aff1, Trafford, James^Aff2

المصدر: Meaning in Dialogue : An Interactive Approach to Logic and Reasoning. 33:157-188

المؤلفون: Kaminski, Michael, Francez, Nissim

المصدر: Studia Logica: An International Journal for Symbolic Logic, 2016 Oct 01. 104(5), 1051-1082.

URL الوصول: https://www.jstor.org/stable/44280695

المؤلفون: Dyckhoff, Roy, Negri, Sara

المصدر: The Journal of Symbolic Logic, 2000 Dec 01. 65(4), 1499-1518.

URL الوصول: https://www.jstor.org/stable/2695061

المؤلفون: Clouston, Ranald^Aff14, Goré, Rajeev^Aff15

المساهمون: 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, Pitts, Andrew, editor^Aff13

المصدر: Foundations of Software Science and Computation Structures : 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. 9034:133-147

المؤلفون: Echenim, Mnacho^{Aff22, Aff23}, Peltier, Nicolas^{Aff22, Aff25}, Tourret, Sophie^{Aff22, Aff24}

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

المصدر: Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings. 8562:137-151