Journal: Fundamenta Informaticae

Volume 66, Issue 4

0 -- 0Alberto Pettorossi, Maurizio Proietti. Program Transformation: Theoretical Foundations and Basic Techniques. Part 1
315 -- 352Alcino Cunha, Jorge Sousa Pinto. Point-free Program Transformation
353 -- 366Jeremy Gibbons, Graham Hutton. Proof Methods for Corecursive Programs
367 -- 395Robert Glück, Masahiko Kawabe. A Method for Automatic Program Inversion Based on LR(0) Parsing
397 -- 413Olivier Danvy, Mayer Goldberg. There and Back Again
415 -- 439Björn Lisper. Infinite Unfolding and Transformations of Nondeterministic Programs

Volume 66, Issue 3

199 -- 219Tomasz Borzyszkowski. Generalized Interpolation in First Order Logic
221 -- 257Raymond R. Devillers, Hanna Klaudel. Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets
259 -- 275Ernst-Erich Doberkat. Tracing Relations Probabilistically
277 -- 298Olivier Finkel. On Winning Conditions of High Borel Complexity in Pushdown Games
299 -- 313Albina Moshkova. On Effective Methods for Diagnosis of Retaining Faults in Circuits

Volume 66, Issue 1-2

0 -- 0Takashi Washio, Luc De Raedt, Joost N. Kok. Advances in Mining Graphs, Trees and Sequences
1 -- 32Sébastien Ferré, Ross D. King. A Dichotomic Search Algorithm for Mining and Learning in Domain-Specific Logics
33 -- 52Mohammed Javeed Zaki. Efficiently Mining Frequent Embedded Unordered Trees
53 -- 82Akihiro Inokuchi, Takashi Washio, Hiroshi Motoda. A General Framework for Mining Frequent Subgraphs from Labeled Graphs
83 -- 101Lawrence B. Holder, Diane J. Cook, Jeffrey Coble, Maitrayee Mukherjee. Graph-based Relational Learning with Application to Security
103 -- 130Amaury Habrard, Marc Bernard, Marc Sebban. Detecting Irrelevant Subtrees to Improve Probabilistic Learning from Tree-structured Data
131 -- 160Warodom Geamsakul, Tetsuya Yoshida, Kouzou Ohara, Hiroshi Motoda, Hideto Yokoi, Katsuhiko Takabayashi. Constructing a Decision Tree for Graph-Structured Data and its Applications
161 -- 198Yun Chi, Richard R. Muntz, Siegfried Nijssen, Joost N. Kok. Frequent Subtree Mining - An Overview