Normal forms for binary relations
- 作者Daniel J. Dougherty; Claudio Gutiérrez
- 卷第360卷
- 印刷ISSN0304-3975
- 文件大小337.42KB
- 发表时间2006
- DOI10.1016/j.tcs.2006.03.023
- 页码228-246
同作者推荐
PrefaceSergei Artemov; George Boolos; Erwin Engeler; Solomon Feferman; Gerhard Jäger; Albert Visser · 1995
PrefaceSergei Artemov · 2009
PrefaceSergei Artemov; Yuri Matiyasevich; Grigori Mints; Anatol Slissenko · 2010
EditorialZofia Adamowicz; Sergei Artemov; Damian Niwiński; Ewa Orłowska; Anna Romanowska; Jan Woleński · 2004
WoLLIC’2002Ruy de Queiroz; Bruno Poizat; Sergei Artemov · 2005
PrefaceSergei Artemov · 2009
ForewordSergei Artemov; Volker Diekert; Dima Grigoriev · 2008