Hirohisa Seki

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Parallel algorithms for enumerating closed patterns from multi-relational data Discrete Applied Mathematics	2018-10-23	Paper
On dual programs in co-logic programming and the Horn \({\mu}\)-calculus Formal Aspects of Computing	2017-06-01	Paper
On dual programs in co-logic programming Logic-Based Program Synthesis and Transformation	2016-02-05	Paper
Extending co-logic programs for branching-time model checking Logic-Based Program Synthesis and Transformation	2015-11-30	Paper
Proving properties of co-logic programs with negation by program transformations Logic-Based Program Synthesis and Transformation	2013-09-13	Paper
Proving properties of co-logic programs by unfold/fold transformations Logic-Based Program Synthesis and Transformation	2013-03-13	Paper
On inductive proofs by extended unfold/fold transformation rules Logic-Based Program Synthesis and Transformation	2011-05-27	Paper
On Inductive and Coinductive Proofs via Unfold/Fold Transformations Logic-Based Program Synthesis and Transformation	2010-05-04	Paper
On Negative Unfolding in the Answer Set Semantics Logic-Based Program Synthesis and Transformation	2009-03-24	Paper
A system for simulating and displaying magic game in cat's cradle and a characterization method of its string state Forma	2001-07-12	Paper
A technique for representing cloth shapes and generating 3-dimensional knitting shapes Forma	2001-07-12	Paper
A cat's cradle string diagram display method based on a genetic algorithm Forma	2001-07-12	Paper
scientific article; zbMATH DE number 1254026 (Why is no real title available?)	1999-02-23	Paper
Partial deduction in disjunctive logic programming The Journal of Logic Programming	1997-10-30	Paper
scientific article; zbMATH DE number 862689 (Why is no real title available?)	1997-02-24	Paper
scientific article; zbMATH DE number 862682 (Why is no real title available?)	1996-06-10	Paper
scientific article; zbMATH DE number 862688 (Why is no real title available?)	1996-04-01	Paper
Unfold⧸fold transformation of general logic programs for the well-founded semantics The Journal of Logic Programming	1993-08-25	Paper
Unfold/fold transformation of stratified programs Theoretical Computer Science	1992-06-26	Paper
scientific article; zbMATH DE number 3956408 (Why is no real title available?)	1986-01-01	Paper
Description and reasoning of VLSI circuit in temporal logic New Generation Computing	1984-01-01	Paper

Research outcomes over time

This page was built for person: Hirohisa Seki