Person:6166682

From MaRDI portal

Available identifiers

zbMath Open lichter.moritzMaRDI QIDQ6166682

List of research outcomes





PublicationDate of PublicationType
Walk refinement, walk logic, and the iteration number of the Weisfeiler-Leman algorithm2024-12-19Paper
Choiceless polynomial time with witnessed symmetric choice2024-12-06Paper
Witnessed symmetric choice and interpretations in fixed-point logic with counting2024-11-14Paper
Continuing the quest for a logic capturing polynomial time -- potential, limitations, and interplay of current approaches2024-10-30Paper
Limitations of the invertible-map equivalences2023-08-03Paper
Witnessed Symmetric Choice and Interpretations in Fixed-Point Logic with Counting2022-10-14Paper
Choiceless Polynomial Time with Witnessed Symmetric Choice2022-05-27Paper
Separating Rank Logic from Polynomial Time2021-04-27Paper
Walk refinement, walk logic, and the iteration number of the Weisfeiler-Leman algorithm2019-05-08Paper

Research outcomes over time

This page was built for person:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:6166682&oldid=37743010"
Powered by MediaWiki