Hirohisa Seki

Available identifiers

zbMath Open seki.hirohisaMaRDI QIDQ1075754

List of research outcomes

Publication	Date of Publication	Type
Parallel algorithms for enumerating closed patterns from multi-relational data	2018-10-23	Paper
On dual programs in co-logic programming and the Horn \({\mu}\)-calculus	2017-06-01	Paper
On Dual Programs in Co-Logic Programming	2016-02-05	Paper
Extending Co-logic Programs for Branching-Time Model Checking	2015-11-30	Paper
Proving Properties of Co-logic Programs with Negation by Program Transformations	2013-09-13	Paper
Proving Properties of Co-Logic Programs by Unfold/Fold Transformations	2013-03-13	Paper
On Inductive Proofs by Extended Unfold/Fold Transformation Rules	2011-05-27	Paper
On Inductive and Coinductive Proofs via Unfold/Fold Transformations	2010-05-04	Paper
On Negative Unfolding in the Answer Set Semantics	2009-03-24	Paper
A system for simulating and displaying magic game in cat's cradle and a characterization method of its string state	2001-07-12	Paper
A technique for representing cloth shapes and generating 3-dimensional knitting shapes	2001-07-12	Paper
A cat's cradle string diagram display method based on a genetic algorithm	2001-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q4227009	1999-02-23	Paper
Partial deduction in disjunctive logic programming	1997-10-30	Paper
https://portal.mardi4nfdi.de/entity/Q4871700	1997-02-24	Paper
https://portal.mardi4nfdi.de/entity/Q4871687	1996-06-10	Paper
https://portal.mardi4nfdi.de/entity/Q4871698	1996-04-01	Paper
Unfold⧸fold transformation of general logic programs for the well-founded semantics	1993-08-25	Paper
Unfold/fold transformation of stratified programs	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3725520	1986-01-01	Paper
Description and reasoning of VLSI circuit in temporal logic	1984-01-01	Paper

Research outcomes over time

This page was built for person: Hirohisa Seki