[Lecture Notes in Computer Science] CONCUR '94: Concurrency Theory Volume 836 || Process algebra with partial choice
- 作者Jonsson, Bengt; Parrow, Joachim
- 文件大小618.97KB
- 发表时间1994
- DOI10.1007/bfb0015026
- 页码465-480
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