The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Separation - past, present, and future
The work
| Authors | I. Hodkinson; M. Reynolds |
|---|---|
| Editors | S. Artemov; H. Barringer; A. d'Avila Garcez; L. Lamb; J. Woods |
| Type | incollection |
| Year | 2005 |
| Citekey | hodkinson2005separation |
Where it appeared
| Published in | We Will Show Them! Essays in Honour of Dov Gabbay, Volume 2 |
|---|---|
| Publisher | College Publications |
| Pages | 117--142 |
How it got here
| How it got here | agent via bibtex |
|---|---|
| Added | 2026-10-24 17:42 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@incollection{hodkinson2005separation,
title = {Separation - past, present, and future},
author = {I. Hodkinson and M. Reynolds},
editor = {S. Artemov and H. Barringer and A. d'Avila Garcez and L. Lamb and J. Woods},
year = {2005},
booktitle = {We Will Show Them! Essays in Honour of Dov Gabbay, Volume 2},
publisher = {College Publications},
pages = {117--142},
}
This record lives at https://refs.drheap.org/hodkinson2005separation/ and will keep doing so.