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
https://portal.mardi4nfdi.de/entity/Q2725777	2001-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q2725793	2001-07-12	Paper
https://portal.mardi4nfdi.de/entity/Q2725838	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hirohisa Seki