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
Editorial
1998
Theoretical Computer Science
Editorial This special issue contains extended versions of four papers presented at the 21st Colloquium on Trees in Algebra and Programming CAAP '96, which was held on 22-26 April 1996, in Linkijping ( ...
Papers selected for this special issue address the topics of term rewriting systems and interaction nets, logics for verification of concurrent systems, semantics of deterministic programs in nondeterministic ...
I am grateful to Maurice Nivat for the opportunity of this special issue that, I hope, is reflecting part of interests of the Theoretical Computer Science community.
Helene Kirchner Guest Editor ...
doi:10.1016/s0304-3975(97)00081-9
fatcat:lsbffzhxefdqpn4qyuqejoclsy
Editorial
2015
International Journal of Computational Intelligence Systems
The Guest Editors of this special issue thank all the authors for their quality contributions and the referees for their elaborated and constructive comments to achieve the quality of this special issue ...
We sincerely thank Luis Martinez and Jie Lu, Editors in-Chief of International Journal of Computational Intelligence Systems, for advising and providing us with the opportunity to edit this issue. ...
This Special Issue on Hybrid Systems for Analytics is the most recent publication of Eureka International Network: The International Network of Transdisciplinary Science in its effort for advancing from ...
doi:10.1080/18756891.2015.1129586
fatcat:qfldrrcvwnazvg3t3yqxiodwuy
Editorial
1999
Australasian Journal of Information Systems
EDITORIAL A crucial first step in software development is the generation of a description of the artefacts that we seek to build. ...
This special issue is a carefully compiled collection of state-of-the-art papers that seeks to provide readers with a broad perspective on new and interesting developments in the area. ...
doi:10.3127/ajis.v6i2.290
fatcat:rdffhougo5ft3oem2ctjwrggvu
Editorial
2008
Journal of Applied Logic
Editorial This special issue contains revised and expanded versions of a number of papers that were originally presented at DEON DEON (more properly, EON) workshops are designed to promote international ...
In order to specify this kind of system one may use logic, and, naturally, deontic logic in particular. ...
Finally, we would like to express our appreciation and gratitude to all who contributed to the success of the DEON workshop as well as to this subsequent special issue of the Journal of Applied Logic, ...
doi:10.1016/j.jal.2007.06.004
fatcat:iv5lw3hmhjb6bifmto5ro36bpa
Editorial
2006
Theoretical Computer Science
Acknowledgments Our words of thanks are addressed to the institutions and people who made AMiLP-3 and this special issue possible; in particular to the authors and the referees for their efforts towards ...
The following referees have helped us to review the papers in this special issue: Peter Asveld, Henk Barendregt, Mehdi Dastani, Fritz Hamm, Jan Kuper, Jens Michelis, Mark Jan Nederhof, Dick Oehrle, Gianna ...
Uwe Mönnich accepted to join the AMiLP-3 PC Chair in the task of acting as Guest Editors of this special issue. ...
doi:10.1016/j.tcs.2005.11.004
fatcat:smm2t634evaptaybhnkhru5gxy
Editorial
2011
International Journal of Computer Vision
We would like to thank the reviewers involved, and the Editorial Office of the IJCV for supporting this special issue.
Guest Editors ...
This special issue on stochastic image grammars is aimed at presenting recent progress in grammar-based formulations in vision. It consists of seven papers. ...
doi:10.1007/s11263-011-0420-8
fatcat:2puoqwob25dlbky7lqi275u5p4
Editorial
2003
Theoretical Computer Science
Editorial The papers in this issue are revised and extended versions of communications presented at the Second International AMAST Workshop on Algebraic Methods in Language Processing (AMiLP '00), held ...
Papers from this ÿrst workshop were collected in the issue of TCS 1-3, 1998. In the AMAST framework large international conferences and specialized workshops related to algebraic issues are held. ...
Acknowledgements Our words of thanks are addressed to the institutions and people who made AMiLP '00 and this special issue possible; in particular to the authors and the referees for their e orts towards ...
doi:10.1016/s0304-3975(01)00346-2
fatcat:vajeqaldvzbnlfxt3rqrkel22a
Editorial
1995
Theoretical Computer Science
Editorial The papers in this issue are revised and extended versions of communications presented at the Third International Conference on Algebraic Methodology and Software Technology, held on June [21 ...
Two of these papers were submitted for publication in regular issues, while the other seven were reviewed for this special issue. ...
doi:10.1016/0304-3975(95)90079-9
fatcat:2m3kjfgr25h5di6qn3tv3d3teq
Editorial Preface
2015
Synthese
The eighth papers gathered in this special issue portray, evaluate and further develop Peirce's logical, philosophical, methodological, semantic and exact analytical ideas. ...
was a scientist, philosopher, mathematician and semiotician, as well as one of the undisputed giants in the founding of modern logic. He advanced virtually endless areas in exact sciences. ...
For that reason, this special issue opens with two of his previously unpublished papers, "Recent Developments of Existential Graphs and their Consequences for Logic" (1906) and "Assurance through Reasoning ...
doi:10.1007/s11229-014-0656-2
fatcat:yf5wpgc3nfeyzcaqx7wjd7fzpa
Editorial
2001
Journal of functional programming
Examples include descriptive complexity of finite models, restrictions on induction in arithmetic and related first order theories, complexity of set-existence principles in higher order logic, and specifications ...
in linear logic. ...
Special issues, of Information and Computation dedicated to the former, and of Theoretical Computer Science to the latter, are in preparation. ...
doi:10.1017/s0956796801009030
fatcat:hi2sxpmyincuffxkrtvt3y7h7u
Editorial
1997
Artificial Intelligence in Medicine
Acknowledgements Twenty-eight reviewers have contributed to this special issue with their conscientiousness, expertise, and time. Thank you all once again. ...
This issue The articles compiled in this special issue address a wide variety of medical and technical problems. Interestingly, most of the work is practically oriented. ...
To them, the work compiled in this special issue may serve as a case in point that fuzzy sets have their rightful place in medical AI. ...
doi:10.1016/s0933-3657(97)00019-5
pmid:9267588
fatcat:bdxsfqkspjdgrihwclza6vhomu
Editorial
2011
Higher-Order and Symbolic Computation
We would like to thank all of the reviewers who helped with the paper selection process, both for the PEPM 2009 workshop and for this special issue. ...
based on ordered logic to specify interpreters for programming languages in the style of substructural operational semantics. ...
doi:10.1007/s10990-011-9069-9
fatcat:sminlhgc35avllbjfrt3l55woe
This special issue directly addresses these kinds of doubts. ...
The issue builds on an international workshop that took place in Copenhagen in May 2012. ...
This special issue as a whole underlines the importance of new and more thoughtful reflection on case-study methods in evaluation. ...
doi:10.1177/1356389013497113
fatcat:3xqidsgdwzfujht43ng3fy53bi
Editorial
2011
Foucault Studies
In addition to the special topics articles in this issue, we are pleased to include three additional essays, each relating to Foucault's writings on neoliberalism. ...
It also points to some possibilities for future research on biopolitics and governmentality. This issue also includes two interviews. ...
doi:10.22439/fs.v0i12.3363
fatcat:gwxy4hyjbvd35c4ar3veblfsqi
Guest Editorial
1995
Journal of Intelligent & Fuzzy Systems
This special issue is dedicated to the applications of fuzzy logic and neural network techniques for solving real-world problems. ...
The decision to organize this special issue was made at the Fourth International Symposium on Robotics and Manufacturing (ISRAM '92) in Sante Fe, New Mexico. ...
The last paper addresses the issue of integrating fuzzy logic methods with neural network techniques. ...
doi:10.3233/ifs-1995-3101
dblp:journals/jifs/WangGJ95
fatcat:mq2npg3qubeopg77vtl4op4kke
« Previous
Showing results 1 — 15 out of 49,611 results