Hirohisa Seki

From MaRDI portal
Person:1075754

Available identifiers

zbMath Open seki.hirohisaMaRDI QIDQ1075754

List of research outcomes





PublicationDate of PublicationType
Parallel algorithms for enumerating closed patterns from multi-relational data2018-10-23Paper
On dual programs in co-logic programming and the Horn \({\mu}\)-calculus2017-06-01Paper
On Dual Programs in Co-Logic Programming2016-02-05Paper
Extending Co-logic Programs for Branching-Time Model Checking2015-11-30Paper
Proving Properties of Co-logic Programs with Negation by Program Transformations2013-09-13Paper
Proving Properties of Co-Logic Programs by Unfold/Fold Transformations2013-03-13Paper
On Inductive Proofs by Extended Unfold/Fold Transformation Rules2011-05-27Paper
On Inductive and Coinductive Proofs via Unfold/Fold Transformations2010-05-04Paper
On Negative Unfolding in the Answer Set Semantics2009-03-24Paper
A system for simulating and displaying magic game in cat's cradle and a characterization method of its string state2001-07-12Paper
A technique for representing cloth shapes and generating 3-dimensional knitting shapes2001-07-12Paper
A cat's cradle string diagram display method based on a genetic algorithm2001-07-12Paper
https://portal.mardi4nfdi.de/entity/Q42270091999-02-23Paper
Partial deduction in disjunctive logic programming1997-10-30Paper
https://portal.mardi4nfdi.de/entity/Q48717001997-02-24Paper
https://portal.mardi4nfdi.de/entity/Q48716871996-06-10Paper
https://portal.mardi4nfdi.de/entity/Q48716981996-04-01Paper
Unfold⧸fold transformation of general logic programs for the well-founded semantics1993-08-25Paper
Unfold/fold transformation of stratified programs1992-06-26Paper
https://portal.mardi4nfdi.de/entity/Q37255201986-01-01Paper
Description and reasoning of VLSI circuit in temporal logic1984-01-01Paper

Research outcomes over time

This page was built for person: Hirohisa Seki