Querying logical databases
- 作者Moshe Y. Vardi
- 卷第33卷
- 期第2期
- 印刷ISSN0022-0000
- 电子ISSN1090-2724
- 文件大小1263.93KB
- 发表时间1986
- DOI10.1016/0022-0000(86)90016-4
- 页码142-160
[ACM Press the fifteenth annual ACM symposium - Not Known (1983..-..)] Proceedings of the fifteenth annual ACM symposium on Theory of computing - STOC '83 - Reliable computation with cellular automataGács, Péter · 1983
[IEEE Comput. Soc 38th Annual Symposium on Foundations of Computer Science - Miami Beach, FL, USA (20-22 Oct. 1997)] Proceedings 38th Annual Symposium on Foundations of Computer Science - Reliable cellular automata with self-organizationGacs, P. · 1997
AIP Conference Proceedings [Author(s) PROCEEDINGS OF THE ADVANCED MATERIALS WITH HIERARCHICAL STRUCTURE FOR NEW TECHNOLOGIES AND RELIABLE STRUCTURES - Tomsk, Russia (1–5 October 2018)] - Computer simulation of thermal cycling of porous coatings: Hybrid excitable cellular automata methodMoiseenko, D. D.; Panin, S. V.; Maksimov, P. V.; Panin, V. E.; Babich, D. S.; Schmauder, S. · 2018
Domino TunnelingSchreiner, Peter R.; Wagner, J. Philipp; Reisenauer, Hans Peter; Gerbig, Dennis; Ley, David; Sarka, János; Császár, Attila G.; Vaughn, Alexander; Allen, Wesley D. · Journal of the American Chemical Society · 2015
Nested Transition Path SamplingBolhuis, Peter G.; Csányi, Gábor · Physical Review Letters · 2018
An OverviewF. Gerald Adams; János Gács; Peter E. de Jánosi · 1997
Infrared signatures of the NCCO radicalSchreiner, Peter R.; Reisenauer, Hans Peter; Mátyus, Edit; Császár, Attila G.; Siddiqi, Ali; Simmonett, Andrew C.; Allen, Wesley D. · Physical Chemistry Chemical Physics · 2009
NHDarby-Lewis, Daniel; Shah, Het; Joshi, Dhyeya; Khan, Fahd; Kauwo, Miles; Sethi, Nikhil; Bernath, Peter F.; Furtenbacher, Tibor; Tóbiás, Roland; Császár, Attila G.; Tennyson, Jonathan · Journal of Molecular Spectroscopy · 2019
MicroRNAs in adrenal tumors: relevance for pathogenesis, diagnosis, and therapyIgaz, Peter; Igaz, Ivan; Nagy, Zoltán; Nyírő, Gábor; Szabó, Peter M.; Falus, András; Patócs, Attila; Rácz, Károly · Cellular and Molecular Life Sciences · 2015
Potassium-depolarization-induced cytoplasmic [Ca2+] transients in freshly dissociated pyramidal neurones of the rat dorsal cochlear nucleusZoltán Rusznák; Csaba Harasztosi; Peter R. Stanfield; László Kovács; Géza Szûcs · 2000
Analysis of Circulating MicroRNAs <i>In Vivo</i> following Administration of Dexamethasone and AdrenocorticotropinIgaz, Ivan; Nyírő, Gábor; Nagy, Zoltán; Butz, Henriett; Nagy, Zsolt; Perge, Pál; Sahin, Peter; Tóth, Miklós; Rácz, Károly; Igaz, Peter; Patócs, Attila · International Journal of Endocrinology · 2015