Plans and Detours
- 期刊名称Annual Review of Chemical and Biomolecular Engineering
- 作者Wei, James
- 卷第5卷
- 期第1期
- 印刷ISSN1947-5438
- 电子ISSN1947-5446
- 文件大小286.94KB
- 发表时间2014-06-07
- DOI10.1146/annurev-chembioeng-061312-103325
- 页码1-9
Monadic simultaneous rigid E-unificationYuri Gurevich; Andrei Voronkov · 1999
Stratified resolutionAnatoli Degtyarev; Robert Nieuwenhuis; Andrei Voronkov · 2003
The anatomy of vampireAndrei Voronkov · 1995
On computability by logic programsAndrei Voronkov · Annals of Mathematics and Artificial Intelligence · 1995
Maser Action in Methanol TransitionsMaxim Voronkov; Andrej Sobolev; Simon Ellingsen; Andrei Ostrovskii; Alexei Alakoz · 2005
Term-Modal LogicsMelvin Fitting; Lars Thalmann; Andrei Voronkov · Studia Logica · 2001
Translating regular expression matching into transducersYuto Sakuma; Yasuhiko Minamide; Andrei Voronkov · 2012
Handbook of automated reasoning; volume IIeditors Alan Robinson and Andrei Voronkov · Elsevier Science/the mit press · 2001