bibliographer - Yoshiki Nakamura

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Guarded Negation Transitive Closure Logic is 2-EXPTIME-complete Yoshiki Nakamura [github]

Note on a Translation from First-Order Logic into the Calculus of Relations Preserving Validity and Finite Validity Yoshiki Nakamura [github]

Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations Yoshiki Nakamura [github]

The Equational Theory of the Composition and Complement Calculus of Relations Is Decidable Yoshiki Nakamura [github]

The Undecidability of FO3 and the Calculus of Relations with Just One Binary Relation Yoshiki Nakamura [github]

Partial derivatives on graphs for Kleene allegories Yoshiki Nakamura [github]

Library Size: 13G (6 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]