[Lecture Notes in Computer Science] Category Theory and Computer Science Volume 530 || Constructions and predicates
- 作者Pitt, David H.; Curien, Pierre-Louis; Abramsky, Samson; Pitts, Andrew M.; Poigné, Axel; Rydeheard, David E.
- 文件大小1112.85KB
- 发表时间1991
- DOI10.1007/bfb0013466
- 页码173-196
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