![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
International Workshop on Unification (UNIF)
37th UNIF 2023: Rome, Italy
UNIF 2023 Informal Proceedings
36th UNIF 2022: Haifa, Israel
35th UNIF 2021: Buenos Aires, Argentina
UNIF 2021 Informal Proceedings (pdf)
34th UNIF 2020: Linz, Austria
- Temur Kutsia, Andrew M. Marshall:
Proceedings of the 34th International Workshop on Unification, UNIF 2020, Linz, Austria, June 29, 2020. 2020 [contents]
33rd UNIF 2019: Dortmund, Germany
UNIF 2019 Informal Proceedings (pdf)
32nd UNIF 2018: Oxford, UK
UNIF 2018 Informal Proceedings (pdf)
31st UNIF 2017: Oxford, UK
30th UNIF 2016: Porto, Portugal
- Silvio Ghilardi, Manfred Schmidt-Schauß:
Proceedings of the 30th International Workshop on Unification, UNIF 2016, Porto, Portugal, June 26, 2016. 2016 [contents]
29th UNIF 2015: Warsaw, Poland
28th UNIF 2014: Vienna, Austria
- Temur Kutsia, Christophe Ringeissen:
Proceedings of the 28th International Workshop on Unification, UNIF 2014, Vienna, Austria, July 13, 2014. 2014 [contents]
27th UNIF@RTA/TLCA 2013: Eindhoven, The Netherlands
- Konstantin Korovin, Barbara Morawska:
27th International Workshop on Unification, UNIF 2013, Eindhoven, Netherlands, June 26, 2013. EPiC Series in Computing 19, EasyChair 2013 [contents]
26th UNIF@IJCAR 2012: Manchester, UK
- Santiago Escobar, Konstantin Korovin, Vladimir V. Rybakov:
UNIF 2012 Post-Worskhop Proceedings. The 26th International Workshop on Unification, Manchester, UK, July 1, 2012. EPiC Series in Computing 24, EasyChair 2014 [contents]
25th UNIF 2011: Wroclaw, Poland
- Franz Baader, Barbara Morawska, Jan Otop:
Proceedings of the 25th International Workshop on Unification, UNIF 2011, Wroclaw, Poland, July 31, 2011. 2011 [contents]
24th UNIF 2010: Edinburgh, UK
- Maribel Fernández:
Proceedings 24th International Workshop on Unification, UNIF 2010, Edinburgh, United Kingdom, 14th July 2010. EPTCS 42, 2010 [contents]
23rd UNIF 2009: Montreal, Canada
22nd UNIF 2008: Hagenberg, Austria
- Mircea Marin:
Proceedings of the 22nd International Workshop on Unification, UNIF 2008, Castle of Hagenberg, Austria, July 18, 2008. 2008 [contents]
21st UNIF 2007: Paris, France
20th UNIF 2006: Seattle, WA, USA
19th UNIF 2005: Nara, Japan
18th UNIF 2004: Cork, Ireland
17th UNIF 2003: Valencia, Spain
16th UNIF 2002: Copenhagen, Denmark
15th UNIF 2001: Siena, Italy
9th UNIF 1995: Sitges, Spain
- Robert Nieuwenhuis, Albert Rubio:
9th International Workshop on Unification, UNIF 1995, Sitges, Spain, April 2-3, 1995. 1995 [contents]
6th UNIF 1992: Schloß Dagstuhl, Germany
Proceedings published as Dagstuhl Seminar Report 42
1st UNIF 1987: Val D'Ajol, France
UNIF 1987 Proceedings (scanned image, pdf)
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.