Revisiting the Institutional Approach to Herbrand's Theorem. / Tutu, Ionut; Fiadeiro, Jose Luiz.
Revisiting the Institutional Approach to Herbrand's Theorem. 2015. p. 304-319.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Original language | English |
---|---|
Title of host publication | Revisiting the Institutional Approach to Herbrand's Theorem |
Pages | 304-319 |
Number of pages | 16 |
DOIs | |
Publication status | Published - 21 Oct 2015 |
Event | 6th Conference on Algebra and Coalgebra in Computer Science - Nijmegen, Netherlands Duration: 24 Jun 2015 → 26 Jun 2015 |
Conference | 6th Conference on Algebra and Coalgebra in Computer Science |
---|---|
Country/Territory | Netherlands |
City | Nijmegen |
Period | 24/06/15 → 26/06/15 |
ID: 26095289