СБ |
Logoc, Language, Information, and Computation: Proc./20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 2013 |
2013 |
|
Lecture Notes in Computer Science |
- Libkin L.
- Kohlenbach U.
- de Queiroz R.
|
|
|
18.11.2013 |
СБ |
Logic, Language, Information, and Computation: Proc./27th International Workshop, WoLLIC 2021, Virtual Event, October 2021 |
2021 |
|
Lecture Notes in Computer Science |
- Silva A.
- Wassermann R.
- de Queiroz R.
|
|
21017 |
11.11.2021 |
СБ |
Logic, Language, Information, and Computation: Proc./26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2019 |
2019 |
|
Lecture Notes in Computer Science |
- Iemhoff R.
- Moortgat M.
- de Queiroz R.
|
|
|
15.08.2019 |
СБ |
Logic, Language, Information, and Computation: Proc./25th International Workshop, WoLLIC 2018, Bogota, Colambia, July 2018 |
2018 |
|
|
- Moss L. S.
- de Queiroz R.
- Martinez M.
|
|
Моделирование и анализ информационных систем |
01.08.2018 |
СБ |
Logic, Language, Information, and Computation: Proc./23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 2016 |
2016 |
|
Lecture Notes in Computer Science |
- Vaananen J.
- Hirvonen A.
- de Queiroz R.
|
|
|
07.10.2016 |
СБ |
Logic, Language, Information, and Computation: Proc./22nd International Workshop, WoLLIC 2015, Bloomington,IN,USA, July 2015 |
2015 |
|
Lecture Notes in Computer Science |
- De Paiva V.
- de Queiroz R.
- Moss L. S.
- Leivant D.
|
|
|
15.10.2015 |
СБ |
Logic, Language, Information, and Computation: Proc./21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 2014 |
2014 |
|
Lecture Notes in Computer Science |
- Kohlenbach U.
- Barcelo P.
- de Queiroz R.
|
|
|
30.08.2014 |
СБ |
Logic, Language, Information, and Computation: Proc./14th International Workshop, WoLLIC 2007. Rio de Janeiro, Brazil, July 2007 |
2007 |
|
Lecture Notes in Computer Science |
- Leivant D.
- de Queiroz R.
|
|
|
08.09.2007 |
СБ |
Logic, Language, Information and Computation: Proc./19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, Septeber 2012 |
2012 |
|
Lecture Notes in Computer Science |
- Ong L.
- de Queiroz R.
|
|
|
03.09.2012 |
СБ |
Logic, Language, Information and Computation: Proc./18th International Workshop, WoLLIC 2011, Philadelphia,PA,USA, May 2011 |
2011 |
|
Lecture Notes in Artificial Intelligence |
- Beklemishev L. D.
- de Queiroz R.
|
|
|
06.07.2011 |
СБ |
Logic, Language, Information and Computation: Proc./16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 2009 |
2009 |
|
Lecture Notes in Artificial Intelligence |
- Ono H.
- Kanazawa M.
- de Queiroz R.
|
|
|
16.02.2010 |
СБ |
Logic, Language, Information and Computation: Proc./15th International Workshop, WoLLIC 2008. Edunburgh, UK, July 2008 |
2008 |
|
Lecture Notes in Artificial Intelligence |
- Hodges W.
- de Queiroz R.
|
|
|
26.08.2008 |