Higher-order term indexing using substitution trees
- 期刊名称ACM Transactions on Computational Logic
- 作者Pientka, Brigitte
- 卷第11卷
- 期第1期
- 印刷ISSN1529-3785
- 文件大小466.78KB
- 发表时间2009-10-01
- DOI10.1145/1614431.1614437
- 页码1-40
The technical correspondent's mailR. J. Vander Wal · 1951
CORRESPONDENCE AS A SOURCE OF TECHNICAL INFORMATION 1. INFORMATION FROM CORRESPONDENCE: GENERAL PRINCIPLESARNOLD, D.V. · Aslib Proceedings · 1949
Technical communiques and correspondenceGeorge S. Axelby; Alexander H. Levis · 1980
Rapid publications: Technical communiques and correspondenceGeorge S. Axelby; William S. Levine · 1986
Service includes handling of technical correspondenceJ. P. Spruyt · 1955
Service includes handling of technical correspondence1955
Technical correspondenceLeland, Henry · IEEE Spectrum · 1968
Technical correspondenceCambra T., Roberto A.; Quintero Arias, Diomedes · IEEE Spectrum · 1968
Book reviewsRowse, Tim; Walker, David; Kingston, Beverley; Lewis, Jane; Zika, Charles; Ferber, Sarah; Holton, Sandra Stanley; Denholm, David; de Caris, Brian; Sydenham, Diane; Cain, Frank; Webber, Michael; Tyrrell, Ian; Young, John; Menghetti, Diane; Brock, Peggy; Rowse, Tim; Beaumont, Joan; Howe, K. R.; Macdonald, Barrie; Mackinnon, Alison; Davey, Ian; Brown, Nicholas; Crawford, Patricia; Garrioch, David; Buck, Andrew; Lyons, Martyn; Rubinstein, W. D.; Broeze, Frank · Australian Historical Studies · 1992
AddendaMary C. Beckerle; Aaron W. Crawford; Maria E. Bertagnolli; Sarah J. Locke; Diane E. Miller · 1990
Pulmonary atresia in prenatal lifeLindsey D. Allan; Diane C. Crawford; Michael J. Tynan · 1986
Doppler echocardiographyCrawford, Diane C. · 1986
EditorialCrawford, Diane · Communications of the ACM · 2001
Technical correspondenceCrawford, Diane · Communications of the ACM · 1992
Letter to the EditorCrawford, Mike J.; Waller, Diane; Killaspy, Helen · International Journal of Art Therapy · 2014
Editorial pointersCrawford, Diane · Communications of the ACM · 2008
A measure of controlArmour, Phillip G. · Communications of the ACM · 2012
Lightweight modular stagingRompf, Tiark; Odersky, Martin · Communications of the ACM · 2012
Why ACM?Vardi, Moshe Y. · Communications of the ACM · 2012
Spreadsheet data manipulation using examplesGulwani, Sumit; Harris, William R.; Singh, Rishabh · Communications of the ACM · 2012
The five orders of ignoranceArmour, Phillip G. · Communications of the ACM · 2000
Compiling techniquesCheatham, Thomas E. · Communications of the ACM · 1966
RooflineWilliams, Samuel; Waterman, Andrew; Patterson, David · Communications of the ACM · 2009
A fast string searching algorithmBoyer, Robert S.; Moore, J. Strother · Communications of the ACM · 1977