A simple proof of the polylog counting ability of first-order logic
- 期刊名称ACM SIGACT News
- 作者Durand, Arnaud; Lautemann, Clemens; More, Malika
- 卷第38卷
- 期第4期
- 印刷ISSN0163-5700
- 文件大小526.35KB
- 发表时间2007-12-01
- DOI10.1145/1345189.1345199
Microwave Heating of a Ceramic HalfspaceKriegsmann, G. A.; Brodwin, M. E.; Watters, D. G. · SIAM Journal on Applied Mathematics · 1990
Microwave Heating of a Ceramic HalfspaceG. A. Kriegsmann, M. E. Brodwin and D. G. Watters · SIAM Journal on Applied Mathematics · 1990
RS05 CRAFT GROUP AUDIT FOR RURAL SURGEONSD. A. K. Watters; G. Campbell; B. Pennington; G. Richardson; A. Lowe; J. Graham · 2007
Totozoquean 1C. H. Brown; D. Beck; G. Kondrak; J. K. Watters; S. Wichmann · 2011
Irish gerontological societyD. O’Mahony; M. Rowan; J. Feely; J. B. Walsh; D. Coakley; F. Nicklason; E. Mulkerrin; D. Sykes; R. Dewar; P. Finucane; T. R. O. Beringer; P. O’Mahony; R. Matheson; M. Webster; M. MacMahon; M. Lynch; D. Nunes; D. G. Weir; R. R. O’Moore; C. T. Keane; S. O’Reilly; S. Asian; D. Duncan; R. Dwear; F. Nicklasan; D. Thomas; R. Seymour; J. Duggan; S. Kilfeather; K. O’Malley; P. M. E. McCormack; R. Lawlor; C. Donegal; D. O’Neill; I. Rice; P. Blake; C. F. Donegan; A. Farrell; G. Cunnane; N. McCarthy; L. Watters · Irish Journal of Medical Science (1971 -) · 1992
GS20 *ADVERSE EVENTS IN GENERAL SURGERYG. Kalogeropoulos; D. Watters; S. Brereton · 2009
Smooth muscle tumours of the larynxMcKiernan, D. C.; Watters, G. W. R. · The Journal of Laryngology & Otology · 1995
Microwave inspection of luggage for contraband materials using imaging and inverse-scattering algorithmsD. G. Watters; D. G. Falconer; K. J. Harker; T. Ueberschaer; A. J. Bahr · 1996