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
Preface
2001
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
This volume will be published as volume 55, issue 2, in the series Electronic Notes in Theoretical
Computer Science (23 July 2001
Klaus Havelund, Grigore Rosu ...
This series is published electronically through the facilities of Elsevier Science B.V. and its auspices. ...
doi:10.1016/s1571-0661(05)80577-8
fatcat:y4ot7pyjxndy3nrlmd446mxdwq
Preface
2004
Electronical Notes in 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.
The meeting was held just prior to the European Summer School in Logic, Language, and Information in August 2001. ...
This volume contains the Proceedings of the joint meeting of two conferences: the sixth conference on Formal Grammar and the seventh on Mathematics of Language. ...
formal and computational syntax, semantics, pragmatics, and phonology; model-theoretic and proof-theoretic methods in linguistics; constraint-based and resource-sensitive approaches to grammar; foundational ...
doi:10.1016/s1571-0661(05)82569-1
fatcat:rqseploowjhphbmalw3bo3qjia
Bibliography
2001
Electronical Notes in 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.
Parikh, editor, Logics of Programs, volume 193 of Lecture Notes in Computer Science, Springer-Verlag, 1985. 50] A. Cayley. The theory of groups. ...
In nitary domain logic for nitary transition
systems. In M. Abadi and T. Ito, editors, Proceedings of TACS'97, Sendai,
Japan, volume 1281 of Lecture Notes in Computer Science. ...
doi:10.1016/s1571-0661(05)82567-8
fatcat:x7qb7rygq5bafjjdmi24lbdlse
Preface
2005
Electronical Notes in 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.
Narciso Martí-Oliet Madrid, February 23, 2004 Program Committee
David Basin
ETH Zurich
Manuel Clavel
Universidad Complutense de Madrid
Preface/ Electronic Notes in Theoretical Computer Science ...
The Electronic Notes in Theoretical Computer Science 117 (2005) 1-4 1571-0661 © 2004 Elsevier B.V. www.elsevier.com/locate/entcs doi:10.1016/j.entcs.2004.07.003 Open access under CC BY-NC-ND license. ...
doi:10.1016/j.entcs.2004.07.003
fatcat:y3jsehht4nhb5bx6pzqftbtula
Preface
2009
Electronical Notes in 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.
This volume of the ENTCS contains the 10 papers that were selected by the Programme Committee out of 23 submissions after a strict reviewing process and an intense discussion phase. ...
The aim of the FBTC workshop series is to bring together researchers interested in the application of concurrency models in formal systems biology and computer scientists developing biology inspired formalisms ...
Notes in Theoretical Computer Science 229 (2009) 1-2 ...
doi:10.1016/j.entcs.2009.02.001
fatcat:aw4wfqa2qba7vcxgiw7fxellpq
Preface
1999
Electronical Notes in 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.
This volume contains the Proceedings of A Tutorial Workshop on Realizability Semantics and Applications. ...
The workshop was associated to the 1999 Federated Logic Conference, held in Trento, Italy, from June 30 to July 1, 1999. ...
doi:10.1016/s1571-0661(05)80553-5
fatcat:bid4ylw4tffflj5qjq2pzd6wr4
Preface
2006
Electronical Notes in 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.
This workshop was part of the activities of the EU-India project ALA/95/23/2003/077-054. The Program Committee of WWV'05 collected three reviews for each paper and held an electronic discussion. ...
Preface This volume contains the revised versions of a selection of the best papers from the International Workshop on Automated Specification and Verification of Web Sites (WWV'05), held in Valencia ( ...
Preface / Electronic Notes in Theoretical Computer Science 157 (2006) 1-2 Furio Honsell (University of Udine, Italy)
Giorgio Levi (University of Pisa, Italy)
Jan Maluszynski (Linköping University, Sweden ...
doi:10.1016/j.entcs.2005.12.039
fatcat:iqzgc4r7ofgo5kr4f2ryq2qsim
Preface
2002
Electronical Notes in 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.
The workshop was held in Bordeaux, on June 22-23, 2001. ...
Thus, as a whole, the volume aims at presenting a faithful account of the research activity carried by the GETGRATS members during the project. ...
doi:10.1016/s1571-0661(05)82507-1
fatcat:rmfxlsn6pje2pdxzpf53ymconu
Navigable Topic Maps for overlaying multiple acquired semantic classifications
2000
Markup Languages: Theory and Practice
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.
It was published as a CD in Volumes 22-26 and as a DVD in Volumes 27-37. Electronic access to the content of the annual discs of Volumes 34-37 is now available. ...
$392
Electronic Only
$339
Single Issue
$95
Pricing Notes
• Subscriptions are entered for the volume year only ...
Today, we publish more than 30 titles in the arts and humanities, economics, international affairs, history, political science, and science and technology. ...
doi:10.1162/109966200750363625
fatcat:7iqhwv3uzvbdnlodt5d2s36tgy
Contents for Volume CXXIII
2008
Quarterly Journal of Economics
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 was published as a CD in Volumes 22-26 and as a DVD in Volumes 27-37. Electronic access to the content of the annual discs of Volumes 34-40 is now available. ...
$392
Electronic Only
$339
Single Issue
$95
Pricing Notes
• Subscriptions are entered for the volume year only ...
Ordering Information Prices in this catalog are effective with the first issues of the 2018 volumes. Prices are subject to change without notice. ...
doi:10.1162/qjec.2008.123.4.v
fatcat:md7x3lgrmfe3rp3orxmjiybekq
AC Complement Problems: Satisfiability and Negation Elimination
1996
Journal of symbolic computation
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.
Notes in Computer Science 127(5), Else-
vier ...
Proceedings of the 1st International Workshop on Security and Rewriting Techniques, SecReT'06, Electronic Notes in Theoretical Computer Science 171(4), 2007. Elsevier. 10. Guest editors: M. ...
doi:10.1006/jsco.1996.0041
fatcat:kq5bsgmhrjdahmhahl2prb6zpi
Page 23 of Computational Linguistics Vol. 28, Issue 1
[page]
2002
Computational Linguistics
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
In Proceedings of the 14th International Conference on Computational Linguistics (COLING’92), 23-28 August, Nantes, France, vol. 1, pages 359-365.
Cruse, D. Alan. 1986. Lexical Semantics. ...
It is also worth noting that the only computational approaches to word sense disambiguation able to claim some minimal degree of efficiency are linguistically blind ones (like those reported in this book ...
CRS 2017 - Call for Papers
2016
Bulletin of the European Association for 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 2020; you can also visit the original URL.
The file type is application/pdf.
the conference topics, in electronic form (pdf format) via EasyChair. ...
algorithms and data structures combinatorial optimization constraint solving computational complexity cryptography combinatorics in computer science formal languages and automata algorithms for concurrent ...
dblp:journals/eatcs/Ablayev16
fatcat:lon2peuja5e67c4cdlstp4w74q
Some notes on computer research in Eastern Europe
1959
Communications of the ACM
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
An electronic computer Crra [13] has bial constructed at the Institute of Physics of the Rumanian Academy of Sciences in Bucharest. ...
As will be observed from the list of references, these six volumes contain valuable information and important theoretical conclusions from the Czechoslovak computing industry. ...
doi:10.1145/368518.368524
fatcat:b744lekgtnbvthxazjroamj3ie
Volume variation of Gruneisen parameters offcc transition metals
2002
Bulletin of Materials 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 2020; you can also visit the original URL.
The file type is application/pdf.
The results are reasonably good for six metals except for Rh, Ag, Au and Ni when compared with available experimental and other theoretical values. ...
The volume variation of the Gruneisen parameters of ten fcc transition metals, up to 40% compression, has been studied on the basis of a model approach proposed by Antonov et al. ...
These are given in Antonov et al (1990a) . For each metal, Φ(R) was computed at different volumes and using (4) γ were computed for different volumes. ...
doi:10.1007/bf02704597
fatcat:fvzu5jqdxzawdj4i2fxarednki
« Previous
Showing results 1 — 15 out of 127,068 results