Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
88 | María Alpuente, Demis Ballis, Michele Baggi, Moreno Falaschi |
A fold/unfold transformation framework for rewrite theories extended to CCT. |
PEPM |
2010 |
DBLP DOI BibTeX RDF |
code carrying theory, fold/unfold transformation, rewriting logic |
88 | Jirí Vyskocil, Petr Stepánek |
Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation. |
MICAI |
2007 |
DBLP DOI BibTeX RDF |
unfold/fold transformation, homeomorphic embedding, logic programming, prolog, partial deduction |
88 | Jeremy Gibbons, Geraint Jones |
The Under-Appreciated Unfold. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
anamorphism, co-induction, level-order, functional programing, unfold, fold, traversal, breadth-first, program calculation |
78 | David Sands |
Total Correctness by Local Improvement in the Transformation of Functional Programs. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
operational equivalence, unfold-fold, program transformation, correctness, improvement |
75 | Francis Alexandre |
A technique for Transforming Logic Programs by Fold-Unfold Transformations. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
definite program, fold-unfold, program transformation, schema |
74 | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan |
An unfold/fold transformation framework for definite logic programs. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
inductive theorem proving, Logic programming, program transformation, unfolding, folding |
64 | Sukhyun Lim, Hye-Jin Lee, Byeong-Seok Shin |
Surface Reconstruction for Efficient Colon Unfolding. |
GMP |
2006 |
DBLP DOI BibTeX RDF |
|
61 | Nicoletta De Francesco, Antonella Santone |
Unfold/Fold Transformations of Concurrent Processes. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
51 | David Sands 0001 |
Total Correctness by Local Improvement in Program Transformation. (long version: ACM Trans. Program. Lang. Syst. 18(2): 175-234(1996)) |
POPL |
1995 |
DBLP DOI BibTeX RDF |
|
48 | Tjark Weber, James L. Caldwell |
Constructively Characterizing Fold and Unfold. |
LOPSTR |
2003 |
DBLP DOI BibTeX RDF |
|
48 | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan |
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. |
ASIAN |
1999 |
DBLP DOI BibTeX RDF |
|
48 | Annalisa Bossi, Nicoletta Cocco |
Preserving Universal Termination through Unfold/Fold. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
universal termination, program transformations |
48 | Manolis Gergatsoulis, Maria Katzouraki |
Unfold/Fold Transformations For Definite Clause Programs. |
PLILP |
1994 |
DBLP DOI BibTeX RDF |
|
48 | Saumya K. Debray |
Unfold/Fold Transformations and Loop Optimization of Logic Programs. |
PLDI |
1988 |
DBLP DOI BibTeX RDF |
|
38 | Jeremy Gibbons |
Streaming Representation-Changers. |
MPC |
2004 |
DBLP DOI BibTeX RDF |
|
38 | Nicoletta De Francesco, Antonella Santone |
A Transformation System for Concurrent Processes. |
Acta Informatica |
1998 |
DBLP DOI BibTeX RDF |
|
38 | Sandro Etalle, Maurizio Gabbrielli, Elena Marchiori |
A Transformation System for CLP with Dynamic Scheduling and CCP. |
PEPM |
1997 |
DBLP DOI BibTeX RDF |
concurrent constraint logic programming, transformation, deadlock, coroutining |
35 | Alberto Pettorossi, Maurizio Proietti |
Perfect Model Checking via Unfold/Fold Transformations. |
Computational Logic |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Graham Hutton |
Fold and Unfold for Program Semantics. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
CCS |
35 | Torben Amtoft |
Unfold/fold Transformations Preserving Termination Properties. |
PLILP |
1992 |
DBLP DOI BibTeX RDF |
|
35 | Taisuke Sato |
An Equivalence Preserving First Order Unfold/fold Transformation System. |
ALP |
1990 |
DBLP DOI BibTeX RDF |
|
27 | Janis Voigtländer |
Using Circular Programs to Deforest in Accumulating Parameters. |
High. Order Symb. Comput. |
2004 |
DBLP DOI BibTeX RDF |
intermediate results, accumulating arguments, unfold/fold, (short cut) deforestation, tree transducers, program transformation, tupling, circular programs |
27 | Jun Mitani, Hiromasa Suzuki |
Making papercraft toys from meshes using strip-based approximate unfolding. |
ACM Trans. Graph. |
2004 |
DBLP DOI BibTeX RDF |
Papercraft, Mesh, Simplification, Unfold |
26 | Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
Automatic Correctness Proofs for Logic Program Transformations. |
ICLP |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Tyng-Ruey Chuang, Jan-Li Lin |
On modular transformation of structural content. |
ACM Symposium on Document Engineering |
2004 |
DBLP DOI BibTeX RDF |
bird-meertens formalism, document transformation and validation, XML, functional programming, ML, modules |
26 | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti |
Verification of Sets of Infinite State Processes Using Program Transformation. |
LOPSTR |
2001 |
DBLP DOI BibTeX RDF |
|
26 | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan, Scott A. Smolka |
Verification of Parameterized Systems Using Logic Program Transformations. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Zdzislaw Splawski, Pawel Urzyczyn |
Type Fixpoints: Iteration vs. Recursion. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Gerardo Hermosillo, Olivier D. Faugeras, José Gomes |
Unfolding the Cerebral Cortex Using Level Set Methods. |
Scale-Space |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Robert Glück, Jesper Jørgensen, Bern Martens, Morten Heine Sørensen |
Controlling Conjunctive Partial Deduction. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
|
26 | Annalisa Bossi, Sandro Etalle |
Transforming Acyclic Programs. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
acyclic programs, terminating programs, termination |
26 | Morten Heine Sørensen, Robert Glück, Neil D. Jones |
Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
23 | Ningquan Gu, Ruhan He, Lianqing Yu |
Learning to Unfold Garment Effectively Into Oriented Direction. |
IEEE Robotics Autom. Lett. |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Mahmudul Faisal Al Ameen, Naoki Kobayashi 0001, Ryosuke Sato 0001 |
Asynchronous unfold/fold transformation for fixpoint logic. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
23 | Aditya Dixit, Anup Kumar Gupta, Puneet Gupta 0002, Saurabh Srivastava 0003, Ankur Garg |
UNFOLD: 3-D U-Net, 3-D CNN, and 3-D Transformer-Based Hyperspectral Image Denoising. |
IEEE Trans. Geosci. Remote. Sens. |
2023 |
DBLP DOI BibTeX RDF |
|
23 | James P. Bagrow |
Using fast and slow data to unfold city dynamics. |
Nat. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Romain Sacchi |
unfold: removing the barriers to sharing and reproducing prospective life-cycle assessment databases. |
J. Open Source Softw. |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Jung-Ho Hong, Woo-Jeoung Nam, Kyu-Sung Jeon, Seong-Whan Lee |
Towards Better Visualizing the Decision Basis of Networks via Unfold and Conquer Attribution Guidance. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Joseph O'Rourke |
Polar Zonohedra Edge-Unfold to Nets. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Olivier Danvy |
Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant - ERRATUM. |
J. Funct. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Jung-Ho Hong, Woo-Jeoung Nam, Kyu-Sung Jeon, Seong-Whan Lee |
Towards Better Visualizing the Decision Basis of Networks via Unfold and Conquer Attribution Guidance. |
AAAI |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Weiyue Lin, Ting Li, Liu Liu, Qian Zhu 0010 |
"Unfold and Go Touch": A Portable Method for Making Existing Touchscreens Accessible to Blind and Low Vision People in Self-Service Terminals. |
CHI Extended Abstracts |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Shunji Fujihara, Yuta Yoshioka, Kimitoshi Yamazaki |
A Pair of End-Effectors for Unfold-to-Fold a Fabric by Dual-Arm Manipulation. |
ROBIO |
2023 |
DBLP DOI BibTeX RDF |
|
23 | Joseph O'Rourke |
Every Combinatorial Polyhedron Can Unfold with Overlap. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Antara Sengupta, Subhadip Chakraborty, Pabitra Pal Choudhury |
Chemical characterizations of neurotransmission receptors of human and plant to unfold the evolutionary relationships among them. |
Comput. Biol. Chem. |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Olivier Danvy |
Fold-unfold lemmas for reasoning about recursive programs using the Coq proof assistant. |
J. Funct. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Mahmudul Faisal Al Ameen, Naoki Kobayashi 0001, Ryosuke Sato 0001 |
Asynchronous Unfold/Fold Transformation for Fixpoint Logic. |
FLOPS |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Baobao Li, Xiaofei Zhang 0001, Jianfeng Li 0001, Jinke Cao |
Direct Position Determination using Distributed Unfold Coprime Arrays with Unknown Mutual Coupling: based on Reduced-Dimension Search. |
EITCE |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Yiheng Tu, Dimitrios Pantazis, Georgia Wilson, Sheraz Khan 0002, Seppo P. Ahlfors, Jian Kong |
How expectations of pain elicited by consciously and unconsciously perceived cues unfold over time. |
NeuroImage |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Michael Prilla, Oliver Blunk, Irene-Angelica Chounta |
How Does Collaborative Reflection Unfold in Online Communities? An Analysis of Two Data Sets. |
Comput. Support. Cooperative Work. |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Thorsten Korpitsch, Shigeo Takahashi, Eduard Gröller, Hsiang-Yun Wu |
Simulated Annealing to Unfold 3D Meshes and Assign Glue Tabs. |
J. WSCG |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Mohamed Yousef, Tom E. Bishop |
OrigamiNet: Weakly-Supervised, Segmentation-Free, One-Step, Full Page Text Recognition by learning to unfold. |
CoRR |
2020 |
DBLP BibTeX RDF |
|
23 | Immaculada Baldomá, Santiago Ibáñez 0002, Tere M. Seara |
Hopf-Zero singularities truly unfold chaos. |
Commun. Nonlinear Sci. Numer. Simul. |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Mohamed Yousef, Tom E. Bishop |
OrigamiNet: Weakly-Supervised, Segmentation-Free, One-Step, Full Page Text Recognition by learning to unfold. |
CVPR |
2020 |
DBLP BibTeX RDF |
|
23 | Naoki Kobayashi 0001, Grigory Fedyukovich, Aarti Gupta |
Fold/Unfold Transformations for Fixpoint Logic. |
TACAS (2) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Shannon Patricia Devlin, Jake Ryan Flynn, Sara Lu Riggs |
How Shared Visual Attention Patterns of Pairs Unfold Over Time when Workload Changes. |
ETRA Short Papers |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Pinjiao Zhao, Ke Wang 0005, Guobing Hu, Liangtian Wan |
Underdetermined DOA Estimation Using Unfold Coprime Array From the Perspective of Sum-Difference Co-Array. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Matteo Tomei, Marcella Cornia, Lorenzo Baraldi 0001, Rita Cucchiara |
Image-to-Image Translation to Unfold the Reality of Artworks: An Empirical Analysis. |
ICIAP (2) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Hissu Hyvärinen, Roman Beck |
How Emotions Unfold in Online Discussions After a Terror Attack. |
ICIS |
2019 |
DBLP BibTeX RDF |
|
23 | Hai Lan 0001, Xinshi Zheng, Paul M. Torrens |
Spark Sensing: A Cloud Computing Framework to Unfold Processing Efficiencies for Large and Multiscale Remotely Sensed Data, with Examples on Landsat 8 and MODIS Data. |
J. Sensors |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Llorenç Burgas, Joaquím Meléndez, Joan Colomer, Joaquim Massana, Carles Pous |
N-dimensional extension of unfold-PCA for granular systems monitoring. |
Eng. Appl. Artif. Intell. |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Lefei Liu, Peter Liu, Jiawei Liu, Vickey Chang |
Unfold income myth: Revolution in income models with advanced machine learning techniques for better accuracy. |
Model. Assist. Stat. Appl. |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Elisa Mattarelli, Aaron Schecter, Pamela J. Hinds, Noshir Contractor, Cindy Lu, Begum Topac |
How Co-creation Processes Unfold and Predict Submission Quality in Crowd-based Open Innovation. |
ICIS |
2018 |
DBLP BibTeX RDF |
|
23 | Andrzej Jalowiecki, Wojciech Skarka |
Generative Modelling Technique Application for Unfold Surface Designs. |
TE |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Reza Yazdani, José-María Arnau, Antonio González 0001 |
UNFOLD: a memory-efficient speech recognizer using on-the-fly WFST composition. |
MICRO |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Zhonghua Xi, Yunhyeong Kim, Young J. Kim, Jyh-Ming Lien |
Learning to segment and unfold polyhedral mesh from failures. |
Comput. Graph. |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Neomi Singer, Nori Jacoby, Tamar Lin, Gal Raz, Lavi Shpigelman, Gadi Gilam, Roni Y. Granot, Talma Hendler |
Common modulation of limbic network activation underlies musical emotions as they unfold. |
NeuroImage |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Ting Hua, Liang Zhao 0002, Feng Chen 0001, Chang-Tien Lu, Naren Ramakrishnan |
How events unfold: spatiotemporal mining in social media. |
ACM SIGSPATIAL Special |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Ivan Dokmanic, Juri Ranieri, Martin Vetterli |
Relax and unfold: Microphone localization with Euclidean distance matrices. |
EUSIPCO |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Peng Qiu |
Unfold High-Dimensional Clouds for Exhaustive Gating of Flow Cytometry Data. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Masanori Nagashima, Tomofumi Kato, Masahiko Sakai, Naoki Nishida 0001 |
Inverse Unfold Problem and Its Heuristic Solving. |
WPTE@RTA/TLCA |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Jennifer Hackett, Graham Hutton, Mauro Jaskelioff |
The Under-Performing Unfold: A new approach to optimising corecursive programs. |
IFL |
2013 |
DBLP DOI BibTeX RDF |
|
23 | S. Domsch, A. Lemke, Sebastian Weingärtner, Lothar R. Schad |
A novel temporal filtering strategy for functional MRI using UNFOLD. |
NeuroImage |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Weiwei Cui, Huamin Qu, Hong Zhou 0004, Wenbin Zhang 0007, Steven Skiena |
Watch the Story Unfold with TextWheel: Visualization of Large-Scale News Streams. |
ACM Trans. Intell. Syst. Technol. |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Chris T. Bauch, Samit Bhattacharyya |
Evolutionary Game Theory and Social Learning Can Determine How Vaccine Scares Unfold. |
PLoS Comput. Biol. |
2012 |
DBLP DOI BibTeX RDF |
|
23 | YingLiang Ma, Rashed Karim, Richard James Housden, Geert Gijsbers, Roland Bullens, Christopher Aldo Rinaldi, Reza Razavi, Tobias Schaeffter, Kawal S. Rhode |
Cardiac Unfold: A Novel Technique for Image-Guided Cardiac Catheterization Procedures. |
IPCAI |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Peggy St. Jacques, Martin A. Conway, Matthew W. Lowder, Roberto Cabeza |
Watching My Mind Unfold versus Yours: An fMRI Study Using a Novel Camera Technology to Examine Neural Differences in Self-projection of Self versus Other Perspectives. |
J. Cogn. Neurosci. |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Geoff W. Hamilton, Neil D. Jones |
Proving the Correctness of Unfold/Fold Program Transformations Using Bisimulation. |
Ershov Memorial Conference |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Feng Li 0002, Jun Luo 0001, Chi Zhang 0064, Shi-Qing Xin, Ying He 0001 |
UNFOLD: uniform fast on-line boundary detection for dynamic 3D wireless sensor networks. |
MobiHoc |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Ben D. Eaton, Silvia Elaluf-Calderwood, Carsten Sørensen, Youngjin Yoo |
Structural Narrative Analysis as a Means to Unfold the Paradox of Control and Generativity that Lies within Mobile Platforms. |
ICMB |
2011 |
DBLP DOI BibTeX RDF |
structural narrative analysis, control, generativity, innovation, mobile platforms |
23 | Hirohisa Seki |
Proving Properties of Co-Logic Programs by Unfold/Fold Transformations. |
LOPSTR |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Carlo Vittorio Cannistraci, Timothy Ravasi, Franco Maria Montevecchi, Trey Ideker, Massimo Alessio |
Nonlinear dimension reduction and clustering by Minimum Curvilinearity unfold neuropathic pain and tissue embryological classes. |
Bioinform. |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Hirohisa Seki |
On Inductive Proofs by Extended Unfold/Fold Transformation Rules. |
LOPSTR |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Onur Afacan, William Scott Hoge, Dana H. Brooks, István Ákos Mórocz |
Increasing Temporal Resolution in Hybrid 3D EPI fMRI Studies Using Unfold. |
ISBI |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Conor McBride |
Let's See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract). |
CALCO |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Hirohisa Seki |
On Inductive and Coinductive Proofs via Unfold/Fold Transformations. |
LOPSTR |
2009 |
DBLP DOI BibTeX RDF |
|
23 | W. Scott Hoge, Huan Tan, Robert A. Kraft |
Improved PASL EPI acquisitions with parallel imaging and unfold. |
ACSCC |
2008 |
DBLP DOI BibTeX RDF |
|
23 | Stefan Haar |
Unfold and cover: Qualitative diagnosability for Petri Nets. |
CDC |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Mark Johnson 0001 |
Transforming Projective Bilexical Dependency Grammars into efficiently-parsable CFGs with Unfold-Fold. |
ACL |
2007 |
DBLP BibTeX RDF |
|
23 | Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
Proofs of Program Properties via Unfold/Fold Transformations of Constraint Logic Programs. |
Transformation Techniques in Software Engineering |
2005 |
DBLP BibTeX RDF |
|
23 | A. M. Livshits, Yurii E. Lozovik |
Cut-and-Unfold Approach to Fullerene Enumeration. |
J. Chem. Inf. Model. |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Abhik Roychoudhury, C. R. Ramakrishnan 0001 |
Unfold/Fold Transformations for Automated Verification of Parameterized Concurrent Systems. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
23 | Ginés Moreno |
A narrowing-based instantiation rule for rewriting-based fold/unfold transformations. |
WFLP |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan |
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs. |
Int. J. Found. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
23 | Hironohu Aoki, Motoki Miura, Jiro Tanaka |
A Web Site Editing System Based on Unfold/ Fold Operations. |
International Conference on Internet Computing |
2002 |
DBLP BibTeX RDF |
|
23 | Jeremy Gibbons, Graham Hutton, Thorsten Altenkirch |
When is a function a fold or an unfold? |
CMCS |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Franklyn A. Turbak, J. B. Wells |
Cycle Therapy: A Prescription for Fold and Unfold on Regular Trees. |
PPDP |
2001 |
DBLP DOI BibTeX RDF |
|
23 | Alberto Pettorossi, Maurizio Proietti |
Synthesis and Transformation of Logic Programs Using Unfold/Fold Proofs. |
J. Log. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
23 | Abhik Roychoudhury, K. Narayan Kumar, I. V. Ramakrishnan |
Generalized Unfold/fold Transformation Systems for Normal Logic Programs. |
ICLP |
1999 |
DBLP BibTeX RDF |
|
23 | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan 0001, I. V. Ramakrishnan |
A Parameterized Unfold/Fold Transformation Framework for Definite Logic Programs. |
PPDP |
1999 |
DBLP DOI BibTeX RDF |
|