A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is
The proceedings appeared as volume 112 of ENTCS. Based on QAPL 2004, a special issue of the journal Theoretical Computer Science was published as volume 346(1). ... Quantitative aspects of computation are important and sometimes essential in characterizing the behaviour and determining the properties of systems. ...doi:10.1016/j.entcs.2007.08.012 fatcat:ivhut7c3prgmxpfbocr4zv6j24
Quantitative aspects of computation are important and sometimes essential in characterising the behaviour and determining the properties of systems. ... Based on QAPL 2004, a special issue of the journal Theoretical Computer Science was published in volume 346(1). ... Alessandro Aldini Christel Baier Preface/ Electronic Notes in Theoretical Computer Science 220 (2008) 1-3 ...doi:10.1016/j.entcs.2008.11.015 fatcat:ql2lpwyuxzd7bhibjkairdis7m
To appear in Theoretical Computer Science. Available as technical report CS-R9636, CWI, Amsterdam, 1996. 36] M.M. Bonsangue, B. Jacobs, and J.N. Kok. ... Theoretical Computer Science, 151(1):79 124, 1995. 37] M.M. Bonsangue and J.N. Kok. Semantics, orderings and recursion in the weakest precondition calculus. In J.W. de Bakker, W. ...doi:10.1016/s1571-0661(05)82567-8 fatcat:x7qb7rygq5bafjjdmi24lbdlse
., Monadic second-order logic on tree-like structures (1-2) 311-346 Ying, M., Bisimulation indexes and their applications ...doi:10.1016/s0304-3975(02)00057-9 fatcat:z5a273xjufajzalf4w7ad27yma
Durand 299 (1-3) (2003) 523-535 Master index volumes 291-300 / Theoretical Computer Science 300(2003) 507-519 ... Santoro, Sense of direction in distributed computing 291 (1) (2003) 29-53 Focardi, R., R. Gorrieri and F. ...doi:10.1016/s0304-3975(03)00257-3 fatcat:go2i65dmindnlgs66d3bis4ttu
Lawrence Erlbaum Associates, Inc., Publishers: Mahwah, NJ, 2000. xii, 346 pp. ISBN 0-8058-3046-4 (paperback), volume 2; ISBN 0-8058-3048-0 (paperback), set.] pp. 315-329. ... Lawrence Erlbaum Associ- ates, Inc., Publishers: Mahwah, NJ, 2000. xii, 346 pp. ISBN 0-8058-3046-4 (paperback), volume 2; ISBN 0-8058-3048-0 (paperback), set.] pp. 175-188. ...
1 $65.00: Pb: 978-0-521-14976-1: 346 pp Volume 2 $65.00: Pb: 978-1-107-64881-4: 262 pp. ... Instructions for contributors Editorial policy Mathematical Structures in Computer Science (MSCS) is a journal of theoretical computer science which focuses on the application of ideas from the structural ...doi:10.1017/s0960129511000727 fatcat:n76bozanx5cmvhupzskukacb24
The Journal of Neuroscience
Technical Report OGI-CSE-93-003, Oregon Graduate Institute of Science & Technology, Department of Computer Science and Engineering, Beaverton, Oregon. ... Rall W (1967) Distinguishing theoretical synaptic potentials computed for different somadendritic distributions of synaptic inputs. J Neu- rophysiol 30:1138-1168. ...
TR 346 Semantic Nets Are in the Eye of the Beholder Schubert, L. K. ... That many connectionists are attempting to address this issue suggests that a commitment to the need for structured representation does not separate connectionist and Computational Linguistics Volume 16 ...
A volume of 320 pages of topical information. Orders to Physica Scripta at the address shown below. ... An international journal for experimental and theoretical physics Vol. T45 1992 ... POB 641, 1211 Geneva 3, Switzerland Tel. +41 (22) 346 52 60 Fax +41 (22) 346 59 39 Scripta Proceeedings of the 12th General Conference of the Condensed Matter Division of the European Physical Society ...doi:10.1051/epn/19922310199 fatcat:jx5w6nrc3jby7ghj3kmxfg2hha
This volume is intended for an audi- ence of English-language curricularists and teacher educators. ... Lawrence Erlbaum Associates, Inc., Publishers: Mahwah, NJ, 2000. xi, 346 pp. ISBN 0-8058-2920-2 (hardcover). ] pp. 3-11. ...
We thank the School of Computer Science (Charles University, Faculty of Mathematics and Physics) and Center of Excellence -Institute for Theoretical Computer Science (project P202/12/G061 of Czech Science ... The selection was made by the Program Committees based on originality, quality, and relevance to theoretical computer science. ...doi:10.1109/tse.1981.234528 fatcat:ob65j2ybgzbgba6y6ar7bczb6a
Ras at Computer Science Dept., University of North Carolina, Charlotte, NC 28223, (704) 547-4880. ... Send abstracts/papers to Keh-Hsun Chen, ISMIS'87, UNC-Charlotte, Dept. of Computer Science, Charlotte, NC 28223. ...doi:10.1016/0888-613x(87)90011-9 fatcat:mgasy7hoyrbjblgj6edpwfd57a
- sive tool for engaging in this necessary kind of inquiry that was already so pro- ductively carried out by the six volumes of Psychology: A Study of a Science. ... I recall a late afternoon seminar con- ducted by Clarence Graham at the time various volumes of Psychology: A Study of a Science were in preparation and produc- tion. ...
, Miklés (H-AOS) The mixing rate of Markov chains, an isoperimetric inequality, and computing the volume. 31st Annual Symposium on Foundations of Computer Science, Vol. ... Louis, MO, 1990), 346-354, IEEE Comput. Soc. Press, Los Alamitos, CA, 1990. ...
« Previous Showing results 1 — 15 out of 18,933 results