Hirofumi Katsuno

Available identifiers

zbMath Open katsuno.hirofumiMaRDI QIDQ794180

List of research outcomes

Publication	Date of Publication	Type
A fast signature scheme based on new on-line computation	2010-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q2728910	2001-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4028812	1993-03-28	Paper
Propositional knowledge base revision and minimal change	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4012234	1992-09-27	Paper
Closed world assumptions having precedence in predicates	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5751985	1989-01-01	Paper
When do non-conflict-free multivalued dependency sets appear?	1984-01-01	Paper
An extension of conflict-free multivalued dependency sets	1984-01-01	Paper

Research outcomes over time

This page was built for person: Hirofumi Katsuno