Filters








127,068 Hits in 6.3 sec

Preface

Klaus Havelund, Grigore Rosu
2001 Electronical Notes in Theoretical Computer Science  
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

Lawrence S. Moss, Richard T. Oehrle
2004 Electronical Notes in Theoretical Computer Science  
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  
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

Narciso Martí-Oliet
2005 Electronical Notes in Theoretical Computer Science  
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

Nicola Cannata, Emanuela Merelli, Irek Ulidowski
2009 Electronical Notes in Theoretical Computer Science  
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

Birkedal Lars, Oosten Jaap van, Rosolini Giuseppe, Dana S. Scott
1999 Electronical Notes in Theoretical Computer Science  
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

María Alpuente, Santiago Escobar, Moreno Falaschi
2006 Electronical Notes in Theoretical Computer Science  
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

Michel Bauderon, Andrea Corradini
2002 Electronical Notes in Theoretical Computer Science  
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

Helka Folch, Saadi Lahlou, Benoît Habert
2000 Markup Languages: Theory and Practice  
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  
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

MARIBEL FERNÁNDEZ
1996 Journal of symbolic computation  
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  
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

Farid Ablayev
2016 Bulletin of the European Association for Theoretical Computer Science  
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

Morton Nadler
1959 Communications of the ACM  
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

C. V. Pandya, P. R. Vyas, T. C. Pandya, V. B. Gohel
2002 Bulletin of Materials Science  
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