المؤلفون: Veloso, Sheila R. M.^Aff19, Veloso, Paulo A. S.^Aff20, Benevides, Mario R. F.^Aff20, Lima, Isaque M. S.^Aff20

المساهمون: Hutchison, David, Editorial Board Member^Aff1, Kanade, Takeo, Editorial Board Member^Aff2, Kittler, Josef, Editorial Board Member^Aff3, Kleinberg, Jon M., Editorial Board Member^Aff4, Mattern, Friedemann, Editorial Board Member^Aff5, Mitchell, John C., Editorial Board Member^Aff6, Naor, Moni, Editorial Board Member^Aff7, Pandu Rangan, C., Editorial Board Member^Aff8, Steffen, Bernhard, Editorial Board Member^Aff9, Terzopoulos, Demetri, Editorial Board Member^Aff10, Tygar, Doug, Editorial Board Member^Aff11, Goos, Gerhard, Founding Editor^Aff12, Hartmanis, Juris, Founding Editor^Aff13, Chapman, Peter, editor^Aff14, Stapleton, Gem, editor^Aff15, Moktefi, Amirouche, editor^Aff16, Perez-Kriz, Sarah, editor^Aff17, Bellucci, Francesco, editor^Aff18

المصدر: Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings. 10871:680-688

المؤلفون: Benevides, Mario R. F., Schechter, L. Menasché

مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.4.1, F.3.1, F.1.2

URL الوصول: http://arxiv.org/abs/0904.0034

المؤلفون: Benevides, Mario R. F.^Aff15, Lopes, Bruno^Aff16, Haeusler, Edward Hermann^Aff17

المساهمون: 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, Sampaio, Augusto, editor^Aff13, Wang, Farn, editor^Aff14

المصدر: Theoretical Aspects of Computing – ICTAC 2016 : 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings. 9965:441-456

المؤلفون: Ferreira, Francicleber Martins^Aff21, Freire, Cibele Matos^Aff21, Benevides, Mario R. F.^Aff22, Schechter, L. Menasché^Aff23, Martins, Ana Teresa^Aff21

المساهمون: 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, Beklemishev, Lev D., editor^Aff19, de Queiroz, Ruy, editor^Aff20

المصدر: Logic, Language, Information and Computation : 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings. 6642:123-134

المؤلفون: Benevides, Mario R. F.^{Aff1, Aff2}, Schechter, L. Menasché^Aff1

المساهمون: Carbonell, Jaime G., editor, Siekmann, J\'org, editor, Hodges, Wilfrid, editor, de Queiroz, Ruy, editor

المصدر: Logic, Language, Information and Computation : 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings. 5110:83-97

المؤلفون: Vasconcelos, D. R.^Aff24, Haeusler, E. H.^Aff24, Benevides, Mario R. F.^Aff25

المساهمون: 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, Dough, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Carbonell, Jaime G., editor^Aff16, Siekmann, Jörg, editor^Aff17, Hinchey, Michael G., editor^Aff18, Rago, Patricia, editor^Aff19, Rash, James L., editor^Aff20, Rouff, Christopher A., editor^Aff21, Sterritt, Roy, editor^Aff22, Truszkowski, Walt, editor^Aff23

المصدر: Innovative Concepts for Autonomic and Agent-Based Systems : Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papers. 3825:299-311

المؤلفون: Benevides, Mario R. F.^Aff9

المساهمون: Wójcicki, Ryszard, editor^Aff1, Mundici, Daniele, editor^Aff2, Orlowska, Ewa, editor^Aff3, Priest, Graham, editor^Aff4, Segerberg, Krister, editor^Aff5, Urquhart, Alasdair, editor^Aff6, Wansing, Heinrich, editor^Aff7, de Queiroz, Ruy J. G. B., editor^Aff8

المصدر: Logic for Concurrency and Synchronisation. 15:239-267

المؤلفون: Benevides, Mario R. F.^Aff1

المساهمون: Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Goos, G., editor, Hartmanis, J., editor, van Leeuwen, J., editor, Froidevaux, Christine, editor, Kohlas, Jürg, editor

المصدر: Symbolic and Quantitative Approaches to Reasoning and Uncertainty : European Conference, ECSQARU '95 Fribourg, Switzerland, July 3–5, 1995 Proceedings. 946:28-35

المؤلفون: Benevides, Mario R. F.^Aff1

المساهمون: Goos, Gerhard, editor, Hartmanis, Juris, editor, Gottlob, Georg, editor, Leitsch, Alexander, editor, Mundici, Daniele, editor

المصدر: Computational Logic and Proof Theory : Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings. 713:120-131

المؤلفون: de Freitas, Renata P., Viana, Jorge P., Benevides, Mario R. F., Veloso, Sheila R. M., Veloso, Paulo A. S.

المصدر: Journal of Philosophical Logic, 2003 Aug 01. 32(4), 343-355.

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