Ruy J. G. B. de Queiroz

◀ ▶ joint publications with Pablo Barceló

> Home > Persons > Ruy J. G. B. de Queiroz

Publications

2017
[j43]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/KohlenbachBQ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/KohlenbachBQ17
Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz:
21st Workshop on Logic, Language, Information and Computation - WoLLIC 2014. Inf. Comput. 255: 193-194 (2017)
2015
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/KohlenbachBQ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/KohlenbachBQ15
Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz:
21st Workshop on Logic, Language, Information and Computation (WoLLIC 2014). Log. J. IGPL 23(5): 848-859 (2015)
2014
[e14]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/2014
Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz:
Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings. Lecture Notes in Computer Science 8652, Springer 2014, ISBN 978-3-662-44144-2 [contents]

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.