dark matter halos 1galaxy formation 1high-redshift galaxies 1proto-groups 1spectroscopic surveys 1stellar mass growth 1
From the 1 of 31 papers with an AI index.
14 citations
- The University of TokyoJP9 papers
- Nagoya UniversityJP6 papers
- Pennsylvania State UniversityUS6 papers
- TU Dortmund UniversityDE6 papers
- University of California SystemUS6 papers
- University of GenevaCH6 papers
- University of Maryland, College ParkUS6 papers
- Deutsches Elektronen-Synchrotron DESYDE5 papers
- Friedrich-Alexander-Universität Erlangen-NürnbergDE5 papers
- Kavli Institute for the Physics and Mathematics of the UniverseJP5 papers
- Ruhr University BochumDE5 papers
- Technical University of MunichDE5 papers
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Guarded Negation Transitive Closure Logic
Diego Figueira, Santiago Figueira, Yoshiki Nakamura
We study the guarded negation fragment of transitive closure logic (GNTC). We show that the satisfiability problem for GNTC is 2ExpTime-complete, by establishing the following redu…
cs.LO2026
The Equational Theory of Relational Kleene Algebra with Graph Loop is PSPACE-Complete
Yoshiki Nakamura
In this paper, we show that the equational theory of relational Kleene algebra with the graph loop operator (a.k.a. fixset) is PSpace-complete. Here, the graph loop is the unary op…