default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 69
Volume 69, Number 1-2, 2006
- Alberto Pettorossi, Maurizio Proietti:
Preface: Program Transformation: Theoretical Foundations and Basic Techniques. Part 2. - Wei-Ngan Chin, Siau-Cheng Khoo, Neil D. Jones:
Redundant Call Elimination via Tupling. 1-37 - Geoff W. Hamilton:
Higher Order Deforestation. 39-61 - Patricia Johann, Janis Voigtländer:
The Impact of seq on Free Theorems-Based Program Transformations. 63-102 - Chiyan Chen, Rui Shi, Hongwei Xi:
Implementing Typeful Program Transformations. 103-121 - Martin Bravenboer, Arthur van Dam, Karina Olmos, Eelco Visser:
Program Transformation with Scoped Dynamic Rewrite Rules. 123-178 - Andy King, Jonathan C. Martin:
Control Generation by Program Transformation. 179-218 - David A. Rosenblueth:
A Multiple-Clause Folding Rule Using Instantiation and Generalization. 219-249
Volume 69, Number 3, 2006
- Stefania Bandini, Giancarlo Mauri, Giuseppe Vizzari:
Supporting Action-at-a-distance in Situated Cellular Agents. 251-271 - Dariusz Dereniowski, Marek Kubale:
Efficient Parallel Query Processing by Graph Ranking. 273-285 - Brunella Gerla, Ioana Leustean:
Similarity MV-algebras. 287-300 - Michael Kaminski, Tony Tan:
Regular Expressions for Languages over Infinite Alphabets. 301-318 - Ching-Lin Wang, Ren-Hung Hwang, Yung-Kuan Chan, Chih-Ya Chen, Chuan-Chung Cheng:
An Image Retrieval System Based on the Color, Areas, and Perimeters of Objects. 319-330 - Gui-Long Liu:
The Axiomatization of the Rough Set Upper Approximation Operations. 331-342 - Zbigniew Suraj, Pawel Delimata:
On k-NN Method with Preprocessing. 343-358
Volume 69, Number 4, 2006
- Davide Ciucci:
On the Axioms of Residuated Structures: Independence, Dependencies and Rough Approximations. 359-387 - Floriana Esposito, Nicola Fanizzi, Stefano Ferilli, Teresa Maria Altomare Basile, Nicola Di Mauro:
Multistrategy Operators for Relational Learning and Their Cooperation. 389-409 - Jacek Pomykala, Slawomir Barabasz:
Eliptic Curve Based Threshold Proxy Signature Scheme with Known Signers. 411-425 - Lirong Xia, Sanjiang Li:
On minimal models of the Region Connection Calculus. 427-446
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-18 00:09 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
