Sebastian Eberhard

From MaRDI portal
Person:1622972

Available identifiers

zbMath Open eberhard.sebastianMaRDI QIDQ1622972

List of research outcomes





PublicationDate of PublicationType
Complexity of decision problems on totally rigid acyclic tree grammars2018-11-22Paper
Algorithmic Compression of Finite Tree Languages by Rigid Acyclic Grammars2018-03-22Paper
On the compressibility of finite languages and formal proofs2018-03-21Paper
Boolean unification with predicates2017-05-17Paper
Compressibility of Finite Languages by Grammars2015-08-07Paper
Applicative theories for logarithmic complexity classes2015-05-26Paper
Inductive theorem proving based on tree grammars2015-05-15Paper
https://portal.mardi4nfdi.de/entity/Q49814452014-06-24Paper
A feasible theory of truth over combinatory algebra2014-02-14Paper

Research outcomes over time

This page was built for person: Sebastian Eberhard

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