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 application/pdf.
Filters
Master index volumes 131–140
1995
Theoretical Computer Science
Preserved Fulltext
Lutz, Computational
depth and reducibility
(Fundamental
Study)
132 (l-2) (1994) 37-70
Jiirgensen, H., K. Salomaa and S. ...
De Berg
140 (2) (1995) 301-317
Haegemans,
A., see J. ...
doi:10.1016/0304-3975(95)90075-6
fatcat:dziab64mwne4bbzkayoezzm4gy
Author index volume 140 (1995)
1995
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
(2) 201-204 (2) 333-339 (2) 291-300 (2) 205-230 (2) 301-317 (1) 73-94 (2) 301-317 (2) 301-317 (2) 291-300 (2) (1) l-3 (2) 319-331 (2) 301-317 Elsevier Science B.V. ...
doi:10.1016/0304-3975(95)90073-x
fatcat:fyin2tfxjvcspoa4bmlapphh5y
Author index volume 105 (1992)
1992
Theoretical Computer Science
Preserved Fulltext
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 application/pdf.
(1) 141-166 (1) (1) 85-128 (2) 217-273 (1) 129-140 (1) 27-56 (1) 1-3 (1) 5 (1) 141-166 (1) 85-128 (2) 167-215 (2) 217-273 (1) 7-25 (1) 57-84 (1) 27-56 (2) 167-215 (1) I-3 (2) 275-299 Elsevier Science ...
doi:10.1016/0304-3975(92)90304-x
fatcat:hnfizdfm5zbhbba3mkvsi6c6ye
Author index volume 46 (1986)
1986
Theoretical Computer Science
Preserved Fulltext
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 application/pdf.
Howell (2, 3) 106-140 Stuckey, P.J., see J. Jattar (2, 3) 141-158 Takahashi, M., see H. Yamasaki (1) 91-99 0304-3975/86/$3.50 © 1986, Elsevier Science Publishers B.V. (North-Holland) ...
Martini, Computability in higher types, PoJ and the completeness Dinh, D., T. Le Cong and H. ...
doi:10.1016/0304-3975(86)90039-3
fatcat:aturjbxhkbav5bvv4w7a3sunti
Author index volume 278 (2002)
2002
Theoretical Computer Science
Preserved Fulltext
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 application/pdf.
Fiech (1-2) 111-140 S . underhauf, P., see R.C. Flagg (1-2) 141-158 Teodosiu, D., see P. Gastin (1-2) 195-221 ...
Schmidt, Polymorphic lambda calculus and subtyping (1-2) 111-140 Fitting, M., Fixpoint semantics for logic programming a survey (1-2) 25-51 Flagg, R.C. and P. ...
doi:10.1016/s0304-3975(02)00149-4
fatcat:aatd2uip3nfazmcqnx5bzq6obq
Author index volume 99 (1992)
1992
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Thcoretiwl Computer Science 99 (lYY2) 347 Elsevier 347 Author Index Volume 99 (1992) (The issue number IS given in front of the page numbers) Bal&ar. J.L. and U. SchDning. ...
265-27X Elscvier Science Publishers B.V. ...
(1) I-63 (2) 31 S-316 (1) 65m 78 (1) 105~119 i-7) 335 344 (2) 243 -264 (2) 301~313 (2) 301 313 (I) 79~104 (2) 327-334 (I) 141~155 (2) 23 I -241 (I) 121~140 ( (2) '43~~764 (2) 2') I-299 (2) 301~313 (2) ...
doi:10.1016/0304-3975(92)90360-r
fatcat:acgki3ftjradzmr7e5xnyothdu
Author index volume 155 (1996)
1996
Theoretical Computer Science
Preserved Fulltext
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 application/pdf.
Morshed, Time lower bounds do not exist for CRCW (1) 111-140 PRAMS Iwamoto, C., see K. Iwama Kagan, V., A. Nerode and VS. Subrahmanian, Computing minimal models by , F. and R. ...
Author Index Volume 155 (1996) (( The issue number is given in front of the page numbers) Antimirov, V., Partial derivatives of regular expressions and finite automation constructions (2) 291-319 Barcucci ...
doi:10.1016/0304-3975(96)90121-8
fatcat:zbkqz4debvc7pbd2qru5gtezqm
Author index volume 142 (1995)
1995
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Author Index Volume 142 (1995) ( The issue number is given in front of the page numbers) Aasa, A., Precedences in specifications and implementations of programming languages (1) 3 26 Alpuente, M., M. ...
Laneve, Paths, computations and labels in the 2-calculus (2) 277-297 Baader, F. and K.U. Schulz, Combination techniques and decision problems for disunification (2) 229-255 Dershowitz, N. and C. ...
doi:10.1016/0304-3975(95)80020-4
fatcat:ywmnivma4zevjl5rz6jzf2g644
Author index volume 267 (2001)
2001
Theoretical Computer Science
Preserved Fulltext
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 application/pdf.
., Parsing natural language idioms with bidirectional "nite-state machines (1}2) 131}140 Sa( ntean, N., see C. Ca( mpeanu (1}2) 3} 16 Wood, D., see J. Albert (1}2) 35} 47 Yu, S., see C. ...
doi:10.1016/s0304-3975(01)00322-x
fatcat:2ssvc6iuovem7cfoms6u5hiha4
Editorial
1995
Theoretical Computer Science
Preserved Fulltext
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 application/pdf.
Paths, computations and labels in the 2-calculus by Andrea Asperti and Cosimo Laneve, provides an enlighting characterization of Levy's redex families, which greatly contributes to the understanding of ...
an invited paper at the conference and proposes an original approach for studying reducibility and realizability in simply typed as weil as secondorder 2-calculus. 0304-3975/95/$09.50 © 1995--Elsevier Science ...
This volume shows the liveness of RTA's research area and I hope that the rewriting community in the large will enjoy reading this issue. ...
doi:10.1016/0304-3975(94)00273-8
fatcat:c2faf2i5e5ac7fp2ewaqlgf2am
Simulation of concentrated slop combustion in cyclone furnace using Computational Fluid Dynamics (CFD)
2018
IOP Conference Series: Earth and Environment
Preserved Fulltext
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 application/pdf.
fluid dynamics (CFD) in four different air settings; 100%, 120%, 140% and 160% theoretical air. ...
combustion behavior of concentrated slop in a cyclone furnace, primarily aiming to determine the appropriate amount of air supplied for concentrated slop combustion under the adiabatic process using computational ...
., Ltd. for research sponsorship and concentrated slop, and thank the Center for Alternative Energy Research and Development, Khon Kaen University for laboratory and high performance computer assistance ...
doi:10.1088/1755-1315/113/1/012195
fatcat:53fubrnm7ngf7pojnnag4p2l3a
Editorial: Journal of Theoretical and Applied Electronic Commerce Research - CiteScore Metric from Scopus
2018
Journal of Theoretical and Applied Electronic Commerce Research
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Introduction to CiteScore Metric from Scopus This is the third issue of the thirteenth volume of the Journal of Theoretical and Applied Electronic Commerce Research (JTAER) . ...
Science:
Computer Science
Applications
2017
117
58
24 April 2018 2.02
N.A. ...
Science Applications. ...
doi:10.4067/s0718-18762018000300101
fatcat:y6cgi5tqwnd5vh2ogxvtn72th4
Page 1324 of Journal of the Atmospheric Sciences Vol. 59, Issue 8
[page]
2002
Journal of the Atmospheric Sciences
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
JOURNAL OF THE ATMOSPHERIC SCIENCES VOLUME 59
Tina 97080709 UTC WN-1DHPlot 500 hPa (a)
98083100 UTC 500 hPa
we + ae wn > o
Latitude (°N)
a an ne as we we meme wed
-500 iil ; ian — te -500 -400 -300 -200 ...
-100 0 100 200 300 400 500 140 150 X (k . _— Longitude (°E) Fic. 7. ...
RBT--a tool for building refined Buneman trees
2004
Bioinformatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2005; you can also visit the original URL.
The file type is application/pdf.
In Proceedings of the 28th Interna-
tional Colloquium on Automata, Languages, and Programming (ICALP 2001), volume 2076 of Lecture
Notes in Computer Science, pages 140-151, Springer Verlag, July 2001 ...
In Proceedings of the 12th International Symposium on Algorithms and Computation (ISAAC 2001), volume 2223 of Lecture Notes in Computer Science, pages 416-428, Springer Verlag, December 2001. − Computing ...
doi:10.1093/bioinformatics/bti195
pmid:15585529
fatcat:fgldcnlqzrgg3dog7zriul7wtu
Bioterrorism. Mathematical modeling applications in homeland security
2005
BioMedical Engineering OnLine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
It presents an analysis of detailed challenges for discrete mathematics and theoretical computer science and relevant tools. ...
This book is engendered from a workshop in 2002 sponsored by the Center for Discrete Mathematics & Theoretical Computer Science (DIMACS) at Rutgers University and the National Science Foundation (NSF). ...
doi:10.1186/1475-925x-4-69
fatcat:ly4wpm4g3na7hohvltrkngeqom
« Previous
Showing results 1 — 15 out of 88,829 results