Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ruy J. G. B. de Queiroz
@article{DBLP:journals/aml/MartinezRivillasQ23,
author = {Daniel O. Mart{\'{\i}}nez{-}Rivillas and
Ruy J. G. B. de Queiroz},
title = {Towards a homotopy domain theory},
journal = {Arch. Math. Log.},
volume = {62},
number = {3-4},
pages = {559--579},
year = {2023},
url = {https://doi.org/10.1007/s00153-022-00856-0},
doi = {10.1007/S00153-022-00856-0},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/MartinezRivillasQ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2023,
editor = {Helle Hvid Hansen and
Andre Scedrov and
Ruy J. G. B. de Queiroz},
title = {Logic, Language, Information, and Computation - 29th International
Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13923},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-39784-4},
doi = {10.1007/978-3-031-39784-4},
isbn = {978-3-031-39783-7},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-11203,
author = {Ruy J. G. B. de Queiroz},
title = {From Tractatus to Later Writings and Back - New Implications from
the Nachlass},
journal = {CoRR},
volume = {abs/2304.11203},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2304.11203},
doi = {10.48550/ARXIV.2304.11203},
eprinttype = {arXiv},
eprint = {2304.11203},
timestamp = {Wed, 03 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2304-11203.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/CostaQBT22,
author = {Felipe Zimmerle da N. Costa and
Ruy J. G. B. de Queiroz and
Gustavo P. Bittencourt and
Leopoldo Teixeira},
title = {Distributed Repository for Software Packages Using Blockchain},
journal = {{IEEE} Access},
volume = {10},
pages = {112502--112514},
year = {2022},
url = {https://doi.org/10.1109/ACCESS.2022.3216569},
doi = {10.1109/ACCESS.2022.3216569},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/CostaQBT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Queiroz22,
author = {Ruy J. G. B. de Queiroz},
title = {26th Workshop on Logic, Language, Information and Computation - WoLLIC
2019},
journal = {Inf. Comput.},
volume = {287},
pages = {104752},
year = {2022},
url = {https://doi.org/10.1016/j.ic.2021.104752},
doi = {10.1016/J.IC.2021.104752},
timestamp = {Mon, 13 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/Queiroz22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Martinez-Rivillas22,
author = {Daniel O. Mart{\'{\i}}nez{-}Rivillas and
Ruy J. G. B. de Queiroz},
title = {{\(\infty\)}-Groupoid Generated by an Arbitrary Topological {\(\lambda\)}-Model},
journal = {Log. J. {IGPL}},
volume = {30},
number = {3},
pages = {465--488},
year = {2022},
url = {https://doi.org/10.1093/jigpal/jzab015},
doi = {10.1093/JIGPAL/JZAB015},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Martinez-Rivillas22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/intpolrev/RamiroQ22,
author = {Andr{\'{e}} Ramiro and
Ruy J. G. B. de Queiroz},
title = {Cypherpunk},
journal = {Internet Policy Rev.},
volume = {11},
number = {2},
year = {2022},
url = {https://doi.org/10.14763/2022.2.1664},
doi = {10.14763/2022.2.1664},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/intpolrev/RamiroQ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jolli/MossQ22,
author = {Lawrence S. Moss and
Ruy J. G. B. de Queiroz},
title = {25th Workshop on Logic, Language, Information and Computation: WoLLIC
2018},
journal = {J. Log. Lang. Inf.},
volume = {31},
number = {4},
pages = {525--527},
year = {2022},
url = {https://doi.org/10.1007/s10849-022-09387-6},
doi = {10.1007/S10849-022-09387-6},
timestamp = {Mon, 19 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jolli/MossQ22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2022,
editor = {Agata Ciabattoni and
Elaine Pimentel and
Ruy J. G. B. de Queiroz},
title = {Logic, Language, Information, and Computation - 28th International
Workshop, WoLLIC 2022, Ia{\c{s}}i, Romania, September 20-23, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13468},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15298-6},
doi = {10.1007/978-3-031-15298-6},
isbn = {978-3-031-15297-9},
timestamp = {Mon, 19 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/KennedyQ21,
author = {Juliette Kennedy and
Ruy J. G. B. de Queiroz},
title = {24th Workshop on Logic, Language, Information and Computation - WoLLIC
2017},
journal = {Arch. Math. Log.},
volume = {60},
number = {5},
pages = {525--527},
year = {2021},
url = {https://doi.org/10.1007/s00153-021-00785-4},
doi = {10.1007/S00153-021-00785-4},
timestamp = {Fri, 16 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/KennedyQ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2021,
editor = {Alexandra Silva and
Renata Wassermann and
Ruy J. G. B. de Queiroz},
title = {Logic, Language, Information, and Computation - 27th International
Workshop, WoLLIC 2021, Virtual Event, October 5-8, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13038},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88853-4},
doi = {10.1007/978-3-030-88853-4},
isbn = {978-3-030-88852-7},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/2021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-01195,
author = {Daniel O. Mart{\'{\i}}nez{-}Rivillas and
Ruy J. G. B. de Queiroz},
title = {Solving Homotopy Domain Equations},
journal = {CoRR},
volume = {abs/2104.01195},
year = {2021},
url = {https://arxiv.org/abs/2104.01195},
eprinttype = {arXiv},
eprint = {2104.01195},
timestamp = {Mon, 12 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-01195.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-07092,
author = {Daniel O. Mart{\'{\i}}nez{-}Rivillas and
Ruy J. G. B. de Queiroz},
title = {The Theory of an Arbitrary Higher {\(\lambda\)}-Model},
journal = {CoRR},
volume = {abs/2111.07092},
year = {2021},
url = {https://arxiv.org/abs/2111.07092},
eprinttype = {arXiv},
eprint = {2111.07092},
timestamp = {Tue, 16 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-07092.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/blockchain2/CostaQ20,
author = {Felipe Zimmerle da N. Costa and
Ruy J. G. B. de Queiroz},
title = {A Blockchain Using Proof-of-Download},
booktitle = {{IEEE} International Conference on Blockchain, Blockchain 2020, Rhodes,
Greece, November 2-6, 2020},
pages = {170--177},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/Blockchain50366.2020.00028},
doi = {10.1109/BLOCKCHAIN50366.2020.00028},
timestamp = {Fri, 30 Apr 2021 12:35:39 +0200},
biburl = {https://dblp.org/rec/conf/blockchain2/CostaQ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-07769,
author = {Tiago Mendon{\c{c}}a Lucena de Veras and
Arthur F. Ramos and
Ruy J. G. B. de Queiroz and
Thiago D. O. Silva and
Anjolina Grisi de Oliveira},
title = {Computational Paths - {A} Weak Groupoid},
journal = {CoRR},
volume = {abs/2007.07769},
year = {2020},
url = {https://arxiv.org/abs/2007.07769},
eprinttype = {arXiv},
eprint = {2007.07769},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-07769.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-15082,
author = {Daniel O. Mart{\'{\i}}nez{-}Rivillas and
Ruy J. G. B. de Queiroz},
title = {Towards a Homotopy Domain Theory (HoDT)},
journal = {CoRR},
volume = {abs/2007.15082},
year = {2020},
url = {https://arxiv.org/abs/2007.15082},
eprinttype = {arXiv},
eprint = {2007.15082},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-15082.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/VaananenQ19,
author = {Jouko V{\"{a}}{\"{a}}n{\"{a}}nen and
Ruy J. G. B. de Queiroz},
title = {23rd Workshop on Logic, Language, Information and Computation - WoLLIC
2016},
journal = {Ann. Pure Appl. Log.},
volume = {170},
number = {9},
pages = {921--922},
year = {2019},
url = {https://doi.org/10.1016/j.apal.2019.04.002},
doi = {10.1016/J.APAL.2019.04.002},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/VaananenQ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CarvalhoOQ19,
author = {Ruan V. B. Carvalho and
Anjolina Grisi de Oliveira and
Ruy J. G. B. de Queiroz},
title = {Propositional intuitionistic multiple-conclusion calculus via proof
graphs},
journal = {Log. J. {IGPL}},
volume = {27},
number = {1},
pages = {33--59},
year = {2019},
url = {https://doi.org/10.1093/jigpal/jzy017},
doi = {10.1093/JIGPAL/JZY017},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CarvalhoOQ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/KennedyQSS19,
author = {Juliette Kennedy and
Ruy J. G. B. de Queiroz and
Alexandra Silva and
Mehrnoosh Sadrzadeh},
title = {24th Workshop on Logic, Language, Information and Computation (WoLLIC
2017)},
journal = {Log. J. {IGPL}},
volume = {27},
number = {1},
pages = {118--134},
year = {2019},
url = {https://doi.org/10.1093/jigpal/jzy011},
doi = {10.1093/JIGPAL/JZY011},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/KennedyQSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MossMCQ19,
author = {Lawrence S. Moss and
Maricarmen Mart{\'{\i}}nez and
Xavier Caicedo and
Ruy J. G. B. de Queiroz},
title = {25th Workshop on Logic, Language, Information and Computation (WoLLIC
2018)},
journal = {Log. J. {IGPL}},
volume = {27},
number = {5},
pages = {766--776},
year = {2019},
url = {https://doi.org/10.1093/jigpal/jzz004},
doi = {10.1093/JIGPAL/JZZ004},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/MossMCQ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PaivaQ19,
author = {Valeria de Paiva and
Ruy J. G. B. de Queiroz},
title = {Preface},
journal = {Math. Struct. Comput. Sci.},
volume = {29},
number = {6},
pages = {731--732},
year = {2019},
url = {https://doi.org/10.1017/S0960129518000373},
doi = {10.1017/S0960129518000373},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/PaivaQ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2019,
editor = {Rosalie Iemhoff and
Michael Moortgat and
Ruy J. G. B. de Queiroz},
title = {Logic, Language, Information, and Computation - 26th International
Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11541},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-662-59533-6},
doi = {10.1007/978-3-662-59533-6},
isbn = {978-3-662-59532-9},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/2019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-05729,
author = {Daniel Martinez Rivillas and
Ruy J. G. B. de Queiroz},
title = {An extensional {\(\lambda\)}-model with {\(\infty\)}-grupoid structure},
journal = {CoRR},
volume = {abs/1906.05729},
year = {2019},
url = {http://arxiv.org/abs/1906.05729},
eprinttype = {arXiv},
eprint = {1906.05729},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-05729.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-09105,
author = {Tiago Mendon{\c{c}}a Lucena de Veras and
Arthur F. Ramos and
Ruy J. G. B. de Queiroz and
Anjolina Grisi de Oliveira},
title = {A Topological Application of Labelled Natural Deduction},
journal = {CoRR},
volume = {abs/1906.09105},
year = {2019},
url = {http://arxiv.org/abs/1906.09105},
eprinttype = {arXiv},
eprint = {1906.09105},
timestamp = {Mon, 24 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-09105.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-09107,
author = {Tiago Mendon{\c{c}}a Lucena de Veras and
Arthur F. Ramos and
Ruy J. G. B. de Queiroz and
Anjolina Grisi de Oliveira},
title = {An alternative approach to the calculation of fundamental groups based
on labeled natural deduction},
journal = {CoRR},
volume = {abs/1906.09107},
year = {2019},
url = {http://arxiv.org/abs/1906.09107},
eprinttype = {arXiv},
eprint = {1906.09107},
timestamp = {Wed, 13 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-09107.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-12960,
author = {Felipe Zimmerle da N. Costa and
Ruy Jos{\'{e}} Guerra Barretto de Queiroz},
title = {Capivara: {A} decentralized package version control using Blockchain},
journal = {CoRR},
volume = {abs/1907.12960},
year = {2019},
url = {http://arxiv.org/abs/1907.12960},
eprinttype = {arXiv},
eprint = {1907.12960},
timestamp = {Fri, 02 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-12960.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fie/ScaicoSQ18,
author = {Pasqueline Dantas Scaico and
Alexandre Scaico and
Ruy Jos{\'{e}} Guerra Barretto de Queiroz},
title = {An Initial Analysis of the Research on Interest and Introductory Programming
: {A} Systematic Review of this Literature},
booktitle = {{IEEE} Frontiers in Education Conference, {FIE} 2018, San Jose, CA,
USA, October 3-6, 2018},
pages = {1--9},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/FIE.2018.8659254},
doi = {10.1109/FIE.2018.8659254},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/fie/ScaicoSQ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RamosAMQ19,
author = {Marcus V. M. Ramos and
Jos{\'{e}} Carlos Bacelar Almeida and
Nelma Moreira and
Ruy J. G. B. de Queiroz},
editor = {Beniamino Accattoli and
Carlos Olarte},
title = {Some Applications of the Formalization of the Pumping Lemma for Context-Free
Languages},
booktitle = {Proceedings of the 13th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2018, Fortaleza, Brazil, September 26-28,
2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {344},
pages = {151--167},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.entcs.2019.07.010},
doi = {10.1016/J.ENTCS.2019.07.010},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/RamosAMQ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2018,
editor = {Lawrence S. Moss and
Ruy J. G. B. de Queiroz and
Maricarmen Mart{\'{\i}}nez},
title = {Logic, Language, Information, and Computation - 25th International
Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10944},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-662-57669-4},
doi = {10.1007/978-3-662-57669-4},
isbn = {978-3-662-57668-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-00555,
author = {Ruan V. B. Carvalho and
La{\'{\i}}s S. Andrade and
Anjolina Grisi de Oliveira and
Ruy J. G. B. de Queiroz},
title = {Sequentialization for full N-Graphs via sub-N-Graphs},
journal = {CoRR},
volume = {abs/1803.00555},
year = {2018},
url = {http://arxiv.org/abs/1803.00555},
eprinttype = {arXiv},
eprint = {1803.00555},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-00555.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-01709,
author = {Arthur F. Ramos and
Ruy J. G. B. de Queiroz and
Anjolina Grisi de Oliveira and
Tiago Mendon{\c{c}}a Lucena de Veras},
title = {On the Use of Computational Paths in Path Spaces of Homotopy Type
Theory},
journal = {CoRR},
volume = {abs/1803.01709},
year = {2018},
url = {http://arxiv.org/abs/1803.01709},
eprinttype = {arXiv},
eprint = {1803.01709},
timestamp = {Tue, 19 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-01709.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-01413,
author = {Tiago Mendon{\c{c}}a Lucena de Veras and
Arthur F. Ramos and
Ruy J. G. B. de Queiroz and
Anjolina Grisi de Oliveira},
title = {On the Calculation of Fundamental Groups in Homotopy Type Theory by
Means of Computational Paths},
journal = {CoRR},
volume = {abs/1804.01413},
year = {2018},
url = {http://arxiv.org/abs/1804.01413},
eprinttype = {arXiv},
eprint = {1804.01413},
timestamp = {Tue, 19 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-01413.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KohlenbachBQ17,
author = {Ulrich Kohlenbach and
Pablo Barcel{\'{o}} and
Ruy J. G. B. de Queiroz},
title = {21st Workshop on Logic, Language, Information and Computation - WoLLIC
2014},
journal = {Inf. Comput.},
volume = {255},
pages = {193--194},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2017.01.001},
doi = {10.1016/J.IC.2017.01.001},
timestamp = {Tue, 28 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KohlenbachBQ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/VaananenQGCR17,
author = {Jouko V{\"{a}}{\"{a}}n{\"{a}}nen and
Ruy J. G. B. de Queiroz and
Mauricio Javier Osorio Galindo and
Claudia Zepeda Cort{\'{e}}s and
Jos{\'{e}} R. Arrazola Ram{\'{\i}}rez},
title = {23rd Workshop on Logic, Language, Information and Computation (WoLLIC
2016)},
journal = {Log. J. {IGPL}},
volume = {25},
number = {2},
pages = {253--272},
year = {2017},
url = {https://doi.org/10.1093/jigpal/jzw063},
doi = {10.1093/JIGPAL/JZW063},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/VaananenQGCR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/RamosQO17,
author = {Arthur F. Ramos and
Ruy J. G. B. de Queiroz and
Anjolina Grisi de Oliveira},
title = {On the identity type as the type of computational paths},
journal = {Log. J. {IGPL}},
volume = {25},
number = {4},
pages = {562--584},
year = {2017},
url = {https://doi.org/10.1093/jigpal/jzx015},
doi = {10.1093/JIGPAL/JZX015},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/RamosQO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/LibkinKQ17,
author = {Leonid Libkin and
Ulrich Kohlenbach and
Ruy J. G. B. de Queiroz},
title = {20th workshop on logic, language, information and computation - WoLLIC
2013},
journal = {J. Comput. Syst. Sci.},
volume = {88},
pages = {1--2},
year = {2017},
url = {https://doi.org/10.1016/j.jcss.2017.05.009},
doi = {10.1016/J.JCSS.2017.05.009},
timestamp = {Fri, 14 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcss/LibkinKQ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fie/ScaicoQDS17,
author = {Pasqueline D. Scaico and
Ruy Jos{\'{e}} Guerra Barretto de Queiroz and
Jos{\'{e}} Jorge Lima Dias Jr. and
Alexandre Scaico},
title = {Studying the phenomenon of developing interest in learning how to
code what happens to the interest of Brazilian undergraduates over
an introductory experience},
booktitle = {2017 {IEEE} Frontiers in Education Conference, {FIE} 2017, Indianapolis,
IN, USA, October 18-21, 2017},
pages = {1--9},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/FIE.2017.8190492},
doi = {10.1109/FIE.2017.8190492},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fie/ScaicoQDS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/ScaicoQD17,
author = {Pasqueline Dantas Scaico and
Ruy Jos{\'{e}} Guerra Barretto de Queiroz and
Jos{\'{e}} Jorge Lima Dias Jr.},
editor = {Renzo Davoli and
Michael Goldweber and
Guido R{\"{o}}{\ss}ling and
Irene Polycarpou},
title = {Analyzing How Interest in Learning Programming Changes During a {CS0}
Course: {A} Qualitative Study with Brazilian Undergraduates},
booktitle = {Proceedings of the 2017 {ACM} Conference on Innovation and Technology
in Computer Science Education, ITiCSE 2017, Bologna, Italy, July 3-5,
2017},
pages = {16--21},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3059009.3059015},
doi = {10.1145/3059009.3059015},
timestamp = {Tue, 06 Nov 2018 11:07:09 +0100},
biburl = {https://dblp.org/rec/conf/iticse/ScaicoQD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2017,
editor = {Juliette Kennedy and
Ruy J. G. B. de Queiroz},
title = {Logic, Language, Information, and Computation - 24th International
Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10388},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-55386-2},
doi = {10.1007/978-3-662-55386-2},
isbn = {978-3-662-55385-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/PaivaMLQ16,
author = {Valeria de Paiva and
Lawrence S. Moss and
Daniel Leivant and
Ruy J. G. B. de Queiroz},
title = {22nd Workshop on Logic, Language, Information and Computation (WoLLIC
2015)},
journal = {Log. J. {IGPL}},
volume = {24},
number = {5},
pages = {859},
year = {2016},
url = {https://doi.org/10.1093/jigpal/jzw014},
doi = {10.1093/JIGPAL/JZW014},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/PaivaMLQ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijlit/CastroRQ16,
author = {Clarice Marinho Martins de Castro and
Chris Reed and
Ruy J. G. B. de Queiroz},
title = {Digital content and cloud-based contracts in Brazil and the European
Union},
journal = {Int. J. Law Inf. Technol.},
volume = {24},
number = {1},
pages = {99--118},
year = {2016},
url = {https://doi.org/10.1093/ijlit/eav013},
doi = {10.1093/IJLIT/EAV013},
timestamp = {Wed, 09 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijlit/CastroRQ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfrea/RamosAMQ16,
author = {Marcus Vin{\'{\i}}cius Midena Ramos and
Jos{\'{e}} Carlos Bacelar Almeida and
Nelma Moreira and
Ruy Jos{\'{e}} Guerra Barretto de Queiroz},
title = {Formalization of the pumping lemma for context-free languages},
journal = {J. Formaliz. Reason.},
volume = {9},
number = {2},
pages = {53--68},
year = {2016},
url = {https://doi.org/10.6092/issn.1972-5787/5595},
doi = {10.6092/ISSN.1972-5787/5595},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfrea/RamosAMQ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/noms/SilvaRQGSGANBM16,
author = {Carlo Marcelo Revoredo da Silva and
Ricardo Batista Rodrigues and
Ruy J. G. B. de Queiroz and
Vinicius C. Garcia and
Jos{\'{e}} Silva and
Daniel Gatti and
Rodrigo Elia Assad and
Leandro M. do Nascimento and
Kellyton Brito and
P{\'{e}}ricles B. C. de Miranda},
editor = {Sema Oktug and
Mehmet Ulema and
Cicek Cavdar and
Lisandro Zambenedetti Granville and
Carlos Raniery Paula dos Santos},
title = {Towards a taxonomy for security threats on the web ecosystem},
booktitle = {2016 {IEEE/IFIP} Network Operations and Management Symposium, {NOMS}
2016, Istanbul, Turkey, April 25-29, 2016},
pages = {584--590},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/NOMS.2016.7502862},
doi = {10.1109/NOMS.2016.7502862},
timestamp = {Fri, 16 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/noms/SilvaRQGSGANBM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/noms/SilvaRQGSGNBA16,
author = {Carlo Marcelo Revoredo da Silva and
Ricardo Batista Rodrigues and
Ruy J. G. B. de Queiroz and
Vinicius C. Garcia and
Jos{\'{e}} Silva and
Daniel Gatti and
Leandro M. do Nascimento and
Kellyton Brito and
Rodrigo Elia Assad},
editor = {Sema Oktug and
Mehmet Ulema and
Cicek Cavdar and
Lisandro Zambenedetti Granville and
Carlos Raniery Paula dos Santos},
title = {A meta-analysis for security threats over the Web ecosystem},
booktitle = {2016 {IEEE/IFIP} Network Operations and Management Symposium, {NOMS}
2016, Istanbul, Turkey, April 25-29, 2016},
pages = {838--842},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/NOMS.2016.7502911},
doi = {10.1109/NOMS.2016.7502911},
timestamp = {Fri, 16 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/noms/SilvaRQGSGNBA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/RamosQMA16,
author = {Marcus Vin{\'{\i}}cius Midena Ramos and
Ruy J. G. B. de Queiroz and
Nelma Moreira and
Jos{\'{e}} Carlos Bacelar Almeida},
editor = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and
{\AA}sa Hirvonen and
Ruy J. G. B. de Queiroz},
title = {On the Formalization of Some Results of Context-Free Language Theory},
booktitle = {Logic, Language, Information, and Computation - 23rd International
Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9803},
pages = {338--357},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-52921-8\_21},
doi = {10.1007/978-3-662-52921-8\_21},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/RamosQMA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2016,
editor = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and
{\AA}sa Hirvonen and
Ruy J. G. B. de Queiroz},
title = {Logic, Language, Information, and Computation - 23rd International
Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9803},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-52921-8},
doi = {10.1007/978-3-662-52921-8},
isbn = {978-3-662-52920-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RamosQO16,
author = {Arthur Freitas Ramos and
Ruy J. G. B. de Queiroz and
Anjolina Grisi de Oliveira},
title = {Computational Paths and Identity Types},
journal = {CoRR},
volume = {abs/1609.05079},
year = {2016},
url = {http://arxiv.org/abs/1609.05079},
eprinttype = {arXiv},
eprint = {1609.05079},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RamosQO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/KohlenbachBQ15,
author = {Ulrich Kohlenbach and
Pablo Barcel{\'{o}} and
Ruy J. G. B. de Queiroz},
title = {21st Workshop on Logic, Language, Information and Computation (\emph{WoLLIC
2014})},
journal = {Log. J. {IGPL}},
volume = {23},
number = {5},
pages = {848--859},
year = {2015},
url = {https://doi.org/10.1093/jigpal/jzv022},
doi = {10.1093/JIGPAL/JZV022},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/KohlenbachBQ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/OngQ15,
author = {C.{-}H. Luke Ong and
Ruy J. G. B. de Queiroz},
title = {Logic, Language, Information and Computation (WoLLIC 2012)},
journal = {Theor. Comput. Sci.},
volume = {603},
pages = {1--2},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.07.011},
doi = {10.1016/J.TCS.2015.07.011},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/OngQ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AndradeCOQ16,
author = {La{\'{\i}}s Andrade and
Ruan Carvalho and
Anjolina Grisi de Oliveira and
Ruy J. G. B. de Queiroz},
editor = {Mario R. F. Benevides and
Ren{\'{e}} Thiemann},
title = {Normalization of N-Graphs via Sub-N-Graphs},
booktitle = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
1, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {323},
pages = {3--19},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.06.002},
doi = {10.1016/J.ENTCS.2016.06.002},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AndradeCOQ16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2015,
editor = {Valeria de Paiva and
Ruy J. G. B. de Queiroz and
Lawrence S. Moss and
Daniel Leivant and
Anjolina Grisi de Oliveira},
title = {Logic, Language, Information, and Computation - 22nd International
Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9160},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-47709-0},
doi = {10.1007/978-3-662-47709-0},
isbn = {978-3-662-47708-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RamosQO15,
author = {Arthur F. Ramos and
Ruy J. G. B. de Queiroz and
Anjolina Grisi de Oliveira},
title = {On the Identity Type as the Type of Computational Paths},
journal = {CoRR},
volume = {abs/1504.04759},
year = {2015},
url = {http://arxiv.org/abs/1504.04759},
eprinttype = {arXiv},
eprint = {1504.04759},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RamosQO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RamosQ15,
author = {Marcus Vin{\'{\i}}cius Midena Ramos and
Ruy J. G. B. de Queiroz},
title = {Context-Free Language Theory Formalization},
journal = {CoRR},
volume = {abs/1505.00061},
year = {2015},
url = {http://arxiv.org/abs/1505.00061},
eprinttype = {arXiv},
eprint = {1505.00061},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RamosQ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RamosQO15a,
author = {Arthur F. Ramos and
Ruy J. G. B. de Queiroz and
Anjolina Grisi de Oliveira},
title = {On the Groupoid Model of Computational Paths},
journal = {CoRR},
volume = {abs/1506.02721},
year = {2015},
url = {http://arxiv.org/abs/1506.02721},
eprinttype = {arXiv},
eprint = {1506.02721},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RamosQO15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RamosQ15a,
author = {Marcus Vin{\'{\i}}cius Midena Ramos and
Ruy J. G. B. de Queiroz},
title = {Formalization of closure properties for context-free grammars},
journal = {CoRR},
volume = {abs/1506.03428},
year = {2015},
url = {http://arxiv.org/abs/1506.03428},
eprinttype = {arXiv},
eprint = {1506.03428},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RamosQ15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RamosQ15b,
author = {Marcus Vin{\'{\i}}cius Midena Ramos and
Ruy J. G. B. de Queiroz},
title = {Formalization of simplification for context-free grammars},
journal = {CoRR},
volume = {abs/1509.02032},
year = {2015},
url = {http://arxiv.org/abs/1509.02032},
eprinttype = {arXiv},
eprint = {1509.02032},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RamosQ15b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RamosQO15b,
author = {Arthur F. Ramos and
Ruy J. G. B. de Queiroz and
Anjolina Grisi de Oliveira},
title = {On Computational Paths and the Fundamental Groupoid of a Type},
journal = {CoRR},
volume = {abs/1509.06429},
year = {2015},
url = {http://arxiv.org/abs/1509.06429},
eprinttype = {arXiv},
eprint = {1509.06429},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RamosQO15b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RamosQMA15,
author = {Marcus Vin{\'{\i}}cius Midena Ramos and
Ruy J. G. B. de Queiroz and
Nelma Moreira and
Jos{\'{e}} Carlos Bacelar Almeida},
title = {Formalization of the pumping lemma for context-free languages},
journal = {CoRR},
volume = {abs/1510.04748},
year = {2015},
url = {http://arxiv.org/abs/1510.04748},
eprinttype = {arXiv},
eprint = {1510.04748},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RamosQMA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RamosQMA15a,
author = {Marcus V. M. Ramos and
Ruy J. G. B. de Queiroz and
Nelma Moreira and
Jos{\'{e}} Carlos Bacelar Almeida},
title = {Formalization of context-free language theory},
journal = {CoRR},
volume = {abs/1510.09092},
year = {2015},
url = {http://arxiv.org/abs/1510.09092},
eprinttype = {arXiv},
eprint = {1510.09092},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RamosQMA15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Quispe-CruzOQP14,
author = {Marcela Quispe{-}Cruz and
Anjolina Grisi de Oliveira and
Ruy J. G. B. de Queiroz and
Valeria de Paiva},
title = {Intuitionistic N-Graphs},
journal = {Log. J. {IGPL}},
volume = {22},
number = {2},
pages = {274--285},
year = {2014},
url = {https://doi.org/10.1093/jigpal/jzt033},
doi = {10.1093/JIGPAL/JZT033},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Quispe-CruzOQP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DawarQ14,
author = {Anuj Dawar and
Ruy J. G. B. de Queiroz},
title = {Editor's foreword: WoLLIC 2010},
journal = {J. Comput. Syst. Sci.},
volume = {80},
number = {2},
pages = {321--322},
year = {2014},
url = {https://doi.org/10.1016/j.jcss.2013.05.001},
doi = {10.1016/J.JCSS.2013.05.001},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DawarQ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/BeklemishevQS14,
author = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz and
Andre Scedrov},
title = {Editors' foreword},
journal = {J. Comput. Syst. Sci.},
volume = {80},
number = {6},
pages = {1037},
year = {2014},
url = {https://doi.org/10.1016/j.jcss.2014.03.008},
doi = {10.1016/J.JCSS.2014.03.008},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/BeklemishevQS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/ScaicoQ14,
author = {Pasqueline Dantas Scaico and
Ruy Jos{\'{e}} Guerra Barretto de Queiroz},
editor = {Susan Zvacek and
Maria Teresa Restivo and
James Onohuome Uhomoibhi and
Markus Helfert},
title = {How Youth Construct Learning Trajectories in the Digital Age?},
booktitle = {{CSEDU} 2014 - Proceedings of the 6th International Conference on
Computer Supported Education, Volume 3, Barcelona, Spain, 1-3 April,
2014},
pages = {87--92},
publisher = {SciTePress},
year = {2014},
url = {https://doi.org/10.5220/0004953700870092},
doi = {10.5220/0004953700870092},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csedu/ScaicoQ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/CarvalhoAOQ14,
author = {Ruan Carvalho and
La{\'{\i}}s Andrade and
Anjolina Grisi de Oliveira and
Ruy J. G. B. de Queiroz},
editor = {Ulrich Kohlenbach and
Pablo Barcel{\'{o}} and
Ruy J. G. B. de Queiroz},
title = {Sequentialization for N-Graphs via Sub-N-Graphs},
booktitle = {Logic, Language, Information, and Computation - 21st International
Workshop, WoLLIC 2014, Valpara{\'{\i}}so, Chile, September 1-4,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8652},
pages = {94--108},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44145-9\_7},
doi = {10.1007/978-3-662-44145-9\_7},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/CarvalhoAOQ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2014,
editor = {Ulrich Kohlenbach and
Pablo Barcel{\'{o}} and
Ruy J. G. B. de Queiroz},
title = {Logic, Language, Information, and Computation - 21st International
Workshop, WoLLIC 2014, Valpara{\'{\i}}so, Chile, September 1-4,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8652},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44145-9},
doi = {10.1007/978-3-662-44145-9},
isbn = {978-3-662-44144-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/RamosQO14,
author = {Arthur F. Ramos and
Ruy J. G. B. de Queiroz and
Anjolina Grisi de Oliveira},
title = {Sequences of Rewrites: {A} Categorical Interpretation},
journal = {CoRR},
volume = {abs/1412.2105},
year = {2014},
url = {http://arxiv.org/abs/1412.2105},
eprinttype = {arXiv},
eprint = {1412.2105},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RamosQO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jilt/CastroRQ13,
author = {Clarice Marinho Martins de Castro and
Chris Reed and
Ruy J. G. B. de Queiroz},
title = {On the Applicability of the Common European Sales Law to some Models
of Cloud Computing Services},
journal = {Eur. J. Law Technol.},
volume = {4},
number = {3},
year = {2013},
url = {https://ejlt.org/index.php/ejlt/article/view/186},
timestamp = {Wed, 06 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jilt/CastroRQ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latincloud/CastroQ13,
author = {Clarice Marinho Martins de Castro and
Ruy J. G. B. de Queiroz},
title = {Reviewing some clauses of cloud-based Google's Agreements in Brazil},
booktitle = {2nd {IEEE} Latin American Conference on Cloud Computing and Communications,
Maceio, Brazil, December 9-10, 2013},
pages = {47--52},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/LatinCloud.2013.6842222},
doi = {10.1109/LATINCLOUD.2013.6842222},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/latincloud/CastroQ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbsi/AlencarQQ13,
author = {Gliner Dias Alencar and
Anderson A. L. Queiroz and
Ruy Jos{\'{e}} Guerra Barretto de Queiroz},
editor = {Rita Suzana Pitangueira Maciel and
Adriana Z. Clericuzi},
title = {Insiders: Um Fator Ativo na Seguran{\c{c}}a da Informa{\c{c}}{\~{a}}o},
booktitle = {Proceedings of the 9th Brazilian Symposium on Information Systems,
{SBSI} 2013, Jo{\~{a}}o Pessoa, Brazil, May 22-24, 2013},
pages = {61--72},
year = {2013},
url = {https://doi.org/10.5753/sbsi.2013.5676},
doi = {10.5753/SBSI.2013.5676},
timestamp = {Mon, 31 Jan 2022 17:23:36 +0100},
biburl = {https://dblp.org/rec/conf/sbsi/AlencarQQ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/OliveiraQ13,
author = {Maria das Gracas da Silva Oliveira and
Ruy J. G. B. de Queiroz},
title = {Scheme of User Privacy Protection Applied to Online Marketing},
booktitle = {12th {IEEE} International Conference on Trust, Security and Privacy
in Computing and Communications, TrustCom 2013 / 11th {IEEE} International
Symposium on Parallel and Distributed Processing with Applications,
{ISPA-13} / 12th {IEEE} International Conference on Ubiquitous Computing
and Communications, IUCC-2013, Melbourne, Australia, July 16-18, 2013},
pages = {380--387},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/TrustCom.2013.48},
doi = {10.1109/TRUSTCOM.2013.48},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/trustcom/OliveiraQ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/SantosQSJ13,
author = {Wagner Medeiros dos Santos and
Ruy J. G. B. de Queiroz and
Carlos E. R. Saraiva and
Gleudson P. V. Junior},
title = {Toward Coercion-Resistant End-to-End Verifiable Electronic Voting
Systems},
booktitle = {12th {IEEE} International Conference on Trust, Security and Privacy
in Computing and Communications, TrustCom 2013 / 11th {IEEE} International
Symposium on Parallel and Distributed Processing with Applications,
{ISPA-13} / 12th {IEEE} International Conference on Ubiquitous Computing
and Communications, IUCC-2013, Melbourne, Australia, July 16-18, 2013},
pages = {1696--1703},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/TrustCom.2013.278},
doi = {10.1109/TRUSTCOM.2013.278},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/trustcom/SantosQSJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/AndradeCOQ13,
author = {La{\'{\i}}s Andrade and
Ruan Carvalho and
Anjolina Grisi de Oliveira and
Ruy J. G. B. de Queiroz},
editor = {Leonid Libkin and
Ulrich Kohlenbach and
Ruy J. G. B. de Queiroz},
title = {Linear Time Proof Verification on N-Graphs: {A} Graph Theoretic Approach},
booktitle = {Logic, Language, Information, and Computation - 20th International
Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8071},
pages = {34--48},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39992-3\_7},
doi = {10.1007/978-3-642-39992-3\_7},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/AndradeCOQ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2013,
editor = {Leonid Libkin and
Ulrich Kohlenbach and
Ruy J. G. B. de Queiroz},
title = {Logic, Language, Information, and Computation - 20th International
Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8071},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39992-3},
doi = {10.1007/978-3-642-39992-3},
isbn = {978-3-642-39991-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/CostaQC12,
author = {Rodrigo Alves Costa and
Ruy J. G. B. de Queiroz and
Elmano Ramalho Cavalcanti},
title = {A Proposal to Prevent Click-Fraud Using Clickable CAPTCHAs},
booktitle = {Sixth International Conference on Software Security and Reliability,
{SERE} 2012, Gaithersburg, Maryland, USA, 20-22 June 2012 - Companion
Volume},
pages = {62--67},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/SERE-C.2012.13},
doi = {10.1109/SERE-C.2012.13},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/ssiri/CostaQC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2012,
editor = {C.{-}H. Luke Ong and
Ruy J. G. B. de Queiroz},
title = {Logic, Language, Information and Computation - 19th International
Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7456},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32621-9},
doi = {10.1007/978-3-642-32621-9},
isbn = {978-3-642-32620-2},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/al/QueirozOG11,
author = {Ruy J. G. B. de Queiroz and
Anjolina Grisi de Oliveira and
Dov M. Gabbay},
title = {The Functional Interpretation of Logical Deduction},
series = {Advances in Logic},
volume = {5},
publisher = {World Scientific},
year = {2011},
url = {https://doi.org/10.1142/8215},
doi = {10.1142/8215},
isbn = {978-981-4360-95-1},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/al/QueirozOG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AlvesOQ11,
author = {Gleifer V. Alves and
Anjolina Grisi de Oliveira and
Ruy J. G. B. de Queiroz},
title = {Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula
Property},
journal = {Fundam. Informaticae},
volume = {106},
number = {2-4},
pages = {119--147},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-380},
doi = {10.3233/FI-2011-380},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/AlvesOQ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/OnoKQ11,
author = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {106},
number = {2-4},
year = {2011},
url = {https://doi.org/10.3233/FI-2011-379},
doi = {10.3233/FI-2011-379},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/OnoKQ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbsi/MacedoQD11,
author = {M{\'{a}}rcio A. Mac{\^{e}}do and
Ruy J. G. B. de Queiroz and
Julio Cesar Damasceno},
editor = {Fl{\'{a}}via Maria Santoro and
Vaninha Vieira},
title = {Uma Ferramenta Adaptativa Baseada em Agentes M{\'{o}}veis Inteligentes
para Seguran{\c{c}}a de Aplica{\c{c}}{\~{o}}es Web},
booktitle = {Proceedings of the 7th Brazilian Symposium on Information Systems,
{SBSI} 2011, Salvador, Brazil, May 23-25, 2011},
pages = {105--116},
year = {2011},
url = {https://doi.org/10.5753/sbsi.2011.14569},
doi = {10.5753/SBSI.2011.14569},
timestamp = {Thu, 03 Feb 2022 13:12:45 +0100},
biburl = {https://dblp.org/rec/conf/sbsi/MacedoQD11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socialcom/SantosQ11,
author = {Wagner Medeiros dos Santos and
Ruy J. G. B. de Queiroz},
title = {Preserving Vote Secrecy in End-to-End Verifiable Voting Systems},
booktitle = {PASSAT/SocialCom 2011, Privacy, Security, Risk and Trust (PASSAT),
2011 {IEEE} Third International Conference on and 2011 {IEEE} Third
International Conference on Social Computing (SocialCom), Boston,
MA, USA, 9-11 Oct., 2011},
pages = {1196--1201},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/PASSAT/SocialCom.2011.64},
doi = {10.1109/PASSAT/SOCIALCOM.2011.64},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/socialcom/SantosQ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2011,
editor = {Lev D. Beklemishev and
Ruy J. G. B. de Queiroz},
title = {Logic, Language, Information and Computation - 18th International
Workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6642},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20920-8},
doi = {10.1007/978-3-642-20920-8},
isbn = {978-3-642-20919-2},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-1901,
author = {Ruy J. G. B. de Queiroz and
Anjolina Grisi de Oliveira},
title = {Propositional equality, identity types, and direct computational paths},
journal = {CoRR},
volume = {abs/1107.1901},
year = {2011},
url = {http://arxiv.org/abs/1107.1901},
eprinttype = {arXiv},
eprint = {1107.1901},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-1901.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/LeivantQ10,
author = {Daniel Leivant and
Ruy J. G. B. de Queiroz},
title = {Logic, language, information and computation},
journal = {Inf. Comput.},
volume = {208},
number = {5},
pages = {395--396},
year = {2010},
url = {https://doi.org/10.1016/j.ic.2009.11.004},
doi = {10.1016/J.IC.2009.11.004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/LeivantQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/HodgesQ10,
author = {Wilfrid Hodges and
Ruy J. G. B. de Queiroz},
title = {Editors' foreword for {JCSS} WoLLIC 2008},
journal = {J. Comput. Syst. Sci.},
volume = {76},
number = {5},
pages = {281--282},
year = {2010},
url = {https://doi.org/10.1016/j.jcss.2009.10.010},
doi = {10.1016/J.JCSS.2009.10.010},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/HodgesQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/petra/QueirozQ10,
author = {Anderson A. L. Queiroz and
Ruy J. G. B. de Queiroz},
editor = {Fillia Makedon},
title = {Breach of internet privacy through the use of cookies},
booktitle = {Proceedings of the 3rd International Conference on Pervasive Technologies
Related to Assistive Environments, {PETRA} 2010, Samos, Greece, June
23-25, 2010},
series = {{ACM} International Conference Proceeding Series},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1839294.1839378},
doi = {10.1145/1839294.1839378},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/petra/QueirozQ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/QueirozO11,
author = {Ruy J. G. B. de Queiroz and
Anjolina Grisi de Oliveira},
editor = {Edward Hermann Haeusler and
Luis Fari{\~{n}}as del Cerro},
title = {The Functional Interpretation of Direct Computations},
booktitle = {Proceedings of the Fifth Logical and Semantic Frameworks, with Applications
Workshop, {LSFA} 2010, Natal, Brazil, August 31, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {269},
pages = {19--40},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2011.03.003},
doi = {10.1016/J.ENTCS.2011.03.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/QueirozO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2010,
editor = {Anuj Dawar and
Ruy J. G. B. de Queiroz},
title = {Logic, Language, Information and Computation, 17th International Workshop,
WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6188},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13824-9},
doi = {10.1007/978-3-642-13824-9},
isbn = {978-3-642-13823-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MintsPQ09,
author = {Grigori Mints and
Valeria de Paiva and
Ruy J. G. B. de Queiroz},
title = {Logic, Language, Information and Computation},
journal = {Inf. Comput.},
volume = {207},
number = {10},
pages = {969--970},
year = {2009},
url = {https://doi.org/10.1016/j.ic.2009.03.006},
doi = {10.1016/J.IC.2009.03.006},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MintsPQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/AlvesOQ09,
author = {Gleifer V. Alves and
Anjolina Grisi de Oliveira and
Ruy J. G. B. de Queiroz},
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Transformations via Geometric Perspective Techniques Augmented with
Cycles Normalization},
booktitle = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
pages = {84--98},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6\_8},
doi = {10.1007/978-3-642-02261-6\_8},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/AlvesOQ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2009,
editor = {Hiroakira Ono and
Makoto Kanazawa and
Ruy J. G. B. de Queiroz},
title = {Logic, Language, Information and Computation, 16th International Workshop,
WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5514},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02261-6},
doi = {10.1007/978-3-642-02261-6},
isbn = {978-3-642-02260-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/QueirozM08,
author = {Ruy J. G. B. de Queiroz and
Angus Macintyre},
title = {Logic, Language, Information and Computation},
journal = {Ann. Pure Appl. Log.},
volume = {152},
number = {1-3},
pages = {1--2},
year = {2008},
url = {https://doi.org/10.1016/j.apal.2007.11.013},
doi = {10.1016/J.APAL.2007.11.013},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/QueirozM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/Queiroz08,
author = {Ruy J. G. B. de Queiroz},
title = {On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics},
journal = {Stud Logica},
volume = {90},
number = {2},
pages = {211--247},
year = {2008},
url = {https://doi.org/10.1007/s11225-008-9150-5},
doi = {10.1007/S11225-008-9150-5},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/Queiroz08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2008,
editor = {Wilfrid Hodges and
Ruy J. G. B. de Queiroz},
title = {Logic, Language, Information and Computation, 15th International Workshop,
WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5110},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69937-8},
doi = {10.1007/978-3-540-69937-8},
isbn = {978-3-540-69936-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2007,
editor = {Daniel Leivant and
Ruy J. G. B. de Queiroz},
title = {Logic, Language, Information and Computation, 14th International Workshop,
WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4576},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73445-1},
doi = {10.1007/978-3-540-73445-1},
isbn = {978-3-540-73443-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wollic/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/QueirozK06,
author = {Ruy J. G. B. de Queiroz and
Dexter Kozen},
title = {Logic, Language, Information and Computation},
journal = {Theor. Comput. Sci.},
volume = {355},
number = {2},
pages = {105--107},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.01.003},
doi = {10.1016/J.TCS.2006.01.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/QueirozK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/QueirozC06,
author = {Ruy J. G. B. de Queiroz and
Patrick C{\'{e}}gielski},
title = {Preface},
journal = {Theor. Comput. Sci.},
volume = {364},
number = {2},
pages = {143--145},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.08.001},
doi = {10.1016/J.TCS.2006.08.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/QueirozC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MintsQ06,
author = {Grigori Mints and
Ruy J. G. B. de Queiroz},
editor = {Grigori Mints and
Ruy J. G. B. de Queiroz},
title = {Preface},
booktitle = {Proceedings of the 13th Workshop on Logic, Language, Information and
Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21,
2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {165},
pages = {1--3},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.07.021},
doi = {10.1016/J.ENTCS.2006.07.021},
timestamp = {Mon, 06 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MintsQ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2005,
editor = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
title = {Proceedings of the 12th Workshop on Logic, Language, Information and
Computation, WoLLIC 2005, Florian{\'{o}}polis, Santa Catarina,
Brazil, July 19-22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {143},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/143/suppl/C},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2006,
editor = {Grigori Mints and
Ruy J. G. B. de Queiroz},
title = {Proceedings of the 13th Workshop on Logic, Language, Information and
Computation, WoLLIC 2006, Stanford University, CA, USA, July 18-21,
2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {165},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/165/suppl/C},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/LewitzkaQ05,
author = {Steffen Lewitzka and
Ruy J. G. B. de Queiroz},
title = {On dividing chains in simple theories},
journal = {Arch. Math. Log.},
volume = {44},
number = {7},
pages = {897--911},
year = {2005},
url = {https://doi.org/10.1007/s00153-005-0292-0},
doi = {10.1007/S00153-005-0292-0},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/LewitzkaQ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/QueirozPA05,
author = {Ruy J. G. B. de Queiroz and
Bruno Poizat and
Sergei N. Art{\"{e}}mov},
title = {WoLLIC'2002},
journal = {Ann. Pure Appl. Log.},
volume = {134},
number = {1},
pages = {1--4},
year = {2005},
url = {https://doi.org/10.1016/j.apal.2004.10.015},
doi = {10.1016/J.APAL.2004.10.015},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/QueirozPA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/OliveiraQ05,
author = {Anjolina Grisi de Oliveira and
Ruy J. G. B. de Queiroz},
editor = {Sergei N. Art{\"{e}}mov and
Howard Barringer and
Artur S. d'Avila Garcez and
Lu{\'{\i}}s C. Lamb and
John Woods},
title = {A New Basic Set of Transformations between Proofs},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two},
pages = {499--528},
publisher = {College Publications},
year = {2005},
timestamp = {Thu, 09 Jul 2020 09:13:39 +0200},
biburl = {https://dblp.org/rec/conf/birthday/OliveiraQ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/QueirozMB06,
author = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
editor = {Ruy J. G. B. de Queiroz and
Angus Macintyre and
Guilherme Bittencourt},
title = {Preface},
booktitle = {Proceedings of the 12th Workshop on Logic, Language, Information and
Computation, WoLLIC 2005, Florian{\'{o}}polis, Santa Catarina,
Brazil, July 19-22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {143},
pages = {1--4},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.06.032},
doi = {10.1016/J.ENTCS.2005.06.032},
timestamp = {Mon, 05 Dec 2022 16:35:24 +0100},
biburl = {https://dblp.org/rec/journals/entcs/QueirozMB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2004,
editor = {Ruy J. G. B. de Queiroz and
Patrick C{\'{e}}gielski},
title = {Proceedings of the 11th Workshop on Logic, Language, Information and
Computation, WoLLIC 2004, Fontainebleau, France, July 19-22, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {123},
publisher = {Elsevier},
year = {2005},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/123/suppl/C},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/QueirozC05,
author = {Ruy J. G. B. de Queiroz and
Patrick C{\'{e}}gielski},
editor = {Ruy J. G. B. de Queiroz and
Patrick C{\'{e}}gielski},
title = {Preface},
booktitle = {Proceedings of the 11th Workshop on Logic, Language, Information and
Computation, WoLLIC 2004, Fontainebleau, France, July 19-22, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {123},
pages = {1--3},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.05.012},
doi = {10.1016/J.ENTCS.2004.05.012},
timestamp = {Mon, 05 Dec 2022 16:29:12 +0100},
biburl = {https://dblp.org/rec/journals/entcs/QueirozC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/QueirozPF03,
author = {Ruy J. G. B. de Queiroz and
Elaine Pimentel and
Luc{\'{\i}}lia Figueiredo},
editor = {Ruy J. G. B. de Queiroz and
Elaine Pimentel and
Luc{\'{\i}}lia Figueiredo},
title = {Preface},
booktitle = {10th Workshop on Logic, Language, Information and Computation, WoLLIC
2003, Ouro Preto, Minas Gerais, Brazil, July 29 - August 1, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {84},
pages = {229--231},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(05)80858-8},
doi = {10.1016/S1571-0661(05)80858-8},
timestamp = {Mon, 05 Dec 2022 16:22:59 +0100},
biburl = {https://dblp.org/rec/journals/entcs/QueirozPF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/kl/03/OliveiraQ03,
author = {Anjolina Grisi de Oliveira and
Ruy J. G. B. de Queiroz},
editor = {Ruy J. G. B. de Queiroz},
title = {Geometry of Deduction Via Graphs of Proofs},
booktitle = {Logic for Concurrency and Synchronisation},
series = {Trends in Logic},
volume = {18},
pages = {3--88},
publisher = {Kluwer},
year = {2003},
url = {https://doi.org/10.1007/0-306-48088-3\_1},
doi = {10.1007/0-306-48088-3\_1},
timestamp = {Wed, 13 May 2020 14:56:22 +0200},
biburl = {https://dblp.org/rec/books/kl/03/OliveiraQ03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/kl/03/Q2003,
editor = {Ruy J. G. B. de Queiroz},
title = {Logic for Concurrency and Synchronisation},
series = {Trends in Logic},
volume = {18},
publisher = {Kluwer},
year = {2003},
url = {https://doi.org/10.1007/0-306-48088-3},
doi = {10.1007/0-306-48088-3},
isbn = {978-1-4020-1270-9},
timestamp = {Wed, 13 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/kl/03/Q2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2003,
editor = {Ruy J. G. B. de Queiroz and
Elaine Pimentel and
Luc{\'{\i}}lia Figueiredo},
title = {10th Workshop on Logic, Language, Information and Computation, WoLLIC
2003, Ouro Preto, Minas Gerais, Brazil, July 29 - August 1, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {84},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/84/suppl/C},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/QueirozPH02,
author = {Ruy J. G. B. de Queiroz and
Luiz Carlos Pereira and
Edward Hermann Haeusler},
title = {9th Workshop on Logic, Language, Information and Computation},
journal = {Log. J. {IGPL}},
volume = {10},
number = {6},
pages = {679--688},
year = {2002},
url = {https://doi.org/10.1093/jigpal/10.6.679},
doi = {10.1093/JIGPAL/10.6.679},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/QueirozPH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/QueirozPH02,
author = {Ruy J. G. B. de Queiroz and
Luiz Carlos Pereira and
Edward Hermann Haeusler},
editor = {Ruy J. G. B. de Queiroz and
Luiz Carlos Pereira and
Edward Hermann Haeusler},
title = {Preface: WoLLIC 2002},
booktitle = {9th Workhop on Logic, Language, Information and Computation, WoLLIC
2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {67},
pages = {313--314},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80556-0},
doi = {10.1016/S1571-0661(05)80556-0},
timestamp = {Mon, 05 Dec 2022 16:07:41 +0100},
biburl = {https://dblp.org/rec/journals/entcs/QueirozPH02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wollic/2002,
editor = {Ruy J. G. B. de Queiroz and
Luiz Carlos Pereira and
Edward Hermann Haeusler},
title = {9th Workhop on Logic, Language, Information and Computation, WoLLIC
2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {67},
publisher = {Elsevier},
year = {2002},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/67/suppl/C},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wollic/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Queiroz01,
author = {Ruy J. G. B. de Queiroz},
title = {7th Workshop on Logic, Language, Information and Computation (WoLLIC'2000)},
journal = {Log. J. {IGPL}},
volume = {9},
number = {1},
pages = {123--134},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.1.123},
doi = {10.1093/JIGPAL/9.1.123},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Queiroz01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Queiroz01a,
author = {Ruy J. G. B. de Queiroz},
title = {Meaning, Function, Purpose, Usefulness, Consequences - Interconnected
Concepts},
journal = {Log. J. {IGPL}},
volume = {9},
number = {5},
pages = {693--734},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.5.693},
doi = {10.1093/JIGPAL/9.5.693},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Queiroz01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Queiroz01b,
author = {Ruy J. G. B. de Queiroz},
title = {8th Workshop on Logic, Language, Information and Computation (WoLLIC'2001)},
journal = {Log. J. {IGPL}},
volume = {9},
number = {5},
pages = {739--754},
year = {2001},
url = {https://doi.org/10.1093/jigpal/9.5.739},
doi = {10.1093/JIGPAL/9.5.739},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Queiroz01b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Queiroz00,
author = {Ruy J. G. B. de Queiroz},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {8},
number = {5},
pages = {603--604},
year = {2000},
url = {https://doi.org/10.1093/jigpal/8.5.603},
doi = {10.1093/JIGPAL/8.5.603},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Queiroz00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/OliveiraQ99,
author = {Anjolina Grisi de Oliveira and
Ruy J. G. B. de Queiroz},
title = {A Normalization Procedure for the Equational Fragment of Labelled
Natural Deduction},
journal = {Log. J. {IGPL}},
volume = {7},
number = {2},
pages = {173--215},
year = {1999},
url = {https://doi.org/10.1093/jigpal/7.2.173},
doi = {10.1093/JIGPAL/7.2.173},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/OliveiraQ99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/QueirozG98,
author = {Peter A. Flach and
Antonis C. Kakas and
Ruy J. G. B. de Queiroz and
K{\'{a}}tia Silva Guimaraes},
title = {Conference Report: Abduction and Induction in AI; Logic, Proofs and
Algorithms; Logic in Natural Language; Logic for Concurrency and Synchronisation
{(LOCUS)}},
journal = {Log. J. {IGPL}},
volume = {6},
number = {4},
pages = {651--663},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.4.651},
doi = {10.1093/JIGPAL/6.4.651},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/QueirozG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/QueirozF98,
author = {Ruy J. G. B. de Queiroz and
Marcelo Finger},
title = {Conference Report: Workshop on Logic, Language, Information and Computation
(WoLLIC'98)},
journal = {Log. J. {IGPL}},
volume = {6},
number = {6},
pages = {917--918},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.6.917},
doi = {10.1093/JIGPAL/6.6.917},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/QueirozF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Queiroz97,
author = {Ruy J. G. B. de Queiroz},
title = {Fourth Workshop on Logic, Language, Information and Computation (WoLLIC'97)},
journal = {Log. J. {IGPL}},
volume = {5},
number = {6},
pages = {859--927},
year = {1997},
url = {https://doi.org/10.1093/jigpal/5.6.859},
doi = {10.1093/JIGPAL/5.6.859},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Queiroz97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Queiroz96,
author = {Ruy J. G. B. de Queiroz},
title = {Second Workshop on Logic, Language, Information and Computation (WoLLIC'95)},
journal = {Log. J. {IGPL}},
volume = {4},
number = {2},
pages = {309--344},
year = {1996},
url = {https://doi.org/10.1093/jigpal/4.2.309},
doi = {10.1093/JIGPAL/4.2.309},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Queiroz96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Queiroz96a,
author = {Ruy J. G. B. de Queiroz},
title = {Conferences},
journal = {Log. J. {IGPL}},
volume = {4},
number = {3},
pages = {473--527},
year = {1996},
url = {https://doi.org/10.1093/jigpal/4.3.473},
doi = {10.1093/JIGPAL/4.3.473},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Queiroz96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GabbayOQ95a,
author = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach and
Ruy J. G. B. de Queiroz},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {3},
number = {1},
pages = {4--6},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.1.4},
doi = {10.1093/JIGPAL/3.1.4},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GabbayOQ95a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/QueirozG95,
author = {Ruy J. G. B. de Queiroz and
Dov M. Gabbay},
title = {The Functional Interpretation of the Existential Quantifier},
journal = {Log. J. {IGPL}},
volume = {3},
number = {2-3},
pages = {243--290},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.2-3.243},
doi = {10.1093/JIGPAL/3.2-3.243},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/QueirozG95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Queiroz95,
author = {Ruy J. G. B. de Queiroz},
title = {Editorial},
journal = {Log. J. {IGPL}},
volume = {3},
number = {4},
pages = {532--533},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.4.532},
doi = {10.1093/JIGPAL/3.4.532},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Queiroz95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GabbayOQ95,
author = {Dov M. Gabbay and
Hans J{\"{u}}rgen Ohlbach and
Ruy J. G. B. de Queiroz},
title = {The Bulletin turned into a Journal},
journal = {Log. J. {IGPL}},
volume = {3},
number = {5},
pages = {682},
year = {1995},
url = {https://doi.org/10.1093/jigpal/3.5.682},
doi = {10.1093/JIGPAL/3.5.682},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GabbayOQ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbia/RiccioQ95,
author = {N{\'{\i}}cia Cristina Rocha Riccio and
Ruy J. G. B. de Queiroz},
editor = {Jacques Wainer and
Ariadne Carvalho},
title = {Labelled Abduction},
booktitle = {Advances in Artificial Intelligence, 12th Brazilian Symposium on Artificial
Intelligence, {SBIA} '95, Campinas, Brazil, October 10-12, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {991},
pages = {91--100},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0034802},
doi = {10.1007/BFB0034802},
timestamp = {Tue, 07 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sbia/RiccioQ95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GabbayQ94,
author = {Dov M. Gabbay and
Ruy J. G. B. de Queiroz},
title = {Speed with Quality},
journal = {Log. J. {IGPL}},
volume = {2},
number = {1},
pages = {1--2},
year = {1994},
url = {https://doi.org/10.1093/jigpal/2.1.1},
doi = {10.1093/JIGPAL/2.1.1},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GabbayQ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/GabbayQ92,
author = {Dov M. Gabbay and
Ruy J. G. B. de Queiroz},
title = {Extending the Curry-Howard Interpretation to Linear, Relevant and
Other Resource Logics},
journal = {J. Symb. Log.},
volume = {57},
number = {4},
pages = {1319--1365},
year = {1992},
url = {https://doi.org/10.2307/2275370},
doi = {10.2307/2275370},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsyml/GabbayQ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/QueirozM91,
author = {Ruy J. G. B. de Queiroz and
T. S. E. Maibaum},
title = {Abstract Data Types and Type Theory: Theories as Types},
journal = {Math. Log. Q.},
volume = {37},
number = {9-12},
pages = {149--166},
year = {1991},
url = {https://doi.org/10.1002/malq.19910370904},
doi = {10.1002/MALQ.19910370904},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/QueirozM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Queiroz90,
author = {Ruy Jos{\'{e}} Guerra Barretto de Queiroz},
title = {Proof theory and computer programming: the logical foundations of
computing},
school = {Imperial College London, {UK}},
year = {1990},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.718002},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/Queiroz90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/QueirozM90,
author = {Ruy J. G. B. de Queiroz and
T. S. E. Maibaum},
title = {Proof theory and computer programming},
journal = {Math. Log. Q.},
volume = {36},
number = {5},
pages = {389--414},
year = {1990},
url = {https://doi.org/10.1002/malq.19900360505},
doi = {10.1002/MALQ.19900360505},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mlq/QueirozM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
