Yoshiki Nakamura

MaRDI QIDQ2062199zbMATH OpenFDO

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
A complete propositional dynamic logic for regular expressions with lookahead	2026-08-24	Paper
Finite relational semantics for language Kleene algebra with complement	2026-06-09	Paper
Existential calculi of relations with transitive closure: complexity and edge saturations	2026-02-27	Paper
On average-case hardness of higher-order model checking	2026-02-24	Paper
Derivatives on graphs for the positive calculus of relations with transitive closure Logical Methods in Computer Science	2026-02-13	Paper
Note on a translation from first-order logic into the calculus of relations preserving validity and finite validity Fundamenta Informaticae	2026-01-22	Paper
Undecidability of the positive calculus of relations with transitive closure and difference: hypothesis elimination using graph loops	2025-03-12	Paper
On the finite variable-occurrence fragment of the calculus of relations with bounded dot-Dagger alternation	2024-12-03	Paper
Spatial existential positive logics for hyperedge replacement grammars	2024-04-10	Paper
Words-to-Letters Valuations for Language Kleene Algebras with Variable Complements Electronic Proceedings in Theoretical Computer Science	2024-04-09	Paper
Expressive Power and Succinctness of the Positive Calculus of Relations Relational and Algebraic Methods in Computer Science	2022-08-30	Paper
Expressive power and succinctness of the positive calculus of binary relations Journal of Logical and Algebraic Methods in Programming	2022-05-25	Paper
On implicational intermediate logics axiomatizable by formulas minimal in classical logic: a counter-example to the Komori-Kashima problem Studia Logica	2021-12-27	Paper
scientific article; zbMATH DE number 7439745 (Why is no real title available?) (available as arXiv preprint)	2021-12-07	Paper
scientific article; zbMATH DE number 7439745 (Why is no real title available?)	2021-12-07	Paper
Partial derivatives on graphs for Kleene allegories	2021-01-19	Paper
The undecidability of FO3 and the calculus of relations with just one binary relation	2020-01-14	Paper

Research outcomes over time

This page was built for person: Yoshiki Nakamura