Get started
Author

Hans Leiß

Observed names: Hans Leiss, Leiss, Hans
ORCID: 0000-0002-4162-2258
Observed ORCID: 0000-0002-4162-2258
OpenAlex ID: A5023391589
To CNF or not to CNF? An Efficient Yet Presentable Version of the CYK Algorithm.
2009 · Martin Lange, Hans Leiß · 55
Algebraically complete semirings and Greibach normal form
2004 · Zoltán Ésik, Hans Leiß · Annals of Pure and Applied Logic · 23
PDF
On type inference for object-oriented programming languages
1988 · Hans Leiß · Lecture notes in computer science · 13
On Kilbury's modification of Earley's algorithm
1990 · Hans Leiss · ACM Transactions on Programming Languages and Systems · 11
PDF
Kleene modules and linear languages
2005 · Hans Leiß · The Journal of Logic and Algebraic Programming · 10
Learning Context Free Grammars with the Finite Context Property: A Correction of A. Clark’s Algorithm
2014 · Hans Leiß · Lecture notes in computer science · 9
Polymorphic recursion and semi-unification
1990 · Hans Leiß · Lecture notes in computer science · 6
The Matrix Ring of a mu-Continuous Chomsky Algebra is mu-Continuous
2016 · Leiss, Hans · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 5
PDF
A decidable case of the semi-unification problem
1991 · Hans Leiß, Fritz Henglein · Lecture notes in computer science · 4
C-Dioids and $$\mu $$-Continuous Chomsky-Algebras
2018 · Hans Leiß, Mark Hopkins · Lecture notes in computer science · 3
Coequalizers and Tensor Products for Continuous Idempotent Semirings
2018 · Mark Hopkins, Hans Leiß · Lecture notes in computer science · 3
Kleenean semimodules and linear languages.
2002 · Hans Leiß · Fixed Points in Computer Science · 3
Definability and Compression
2002 · Foto Afrati, Hans Leiß, et al. · 2
Polymorphic constructs in natural and programming languages
1991 · Hans Leiß · Lecture notes in computer science · 2
Normal Forms for Elements of the $${}^*$$-continuous Kleene Algebras $$K\mathop {\otimes _\mathcal{R}}C_2'$$
2023 · Mark Hopkins, Hans Leiß · Lecture notes in computer science · 1
An algebraic representation of the fixed-point closure of *-continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem
2022 · Hans Leiß · Mathematical Structures in Computer Science · 1
PDF
On Equality of Contexts and Completeness of the Indexed epsilon-Calculus.
2017 · Hans Leiß · FLAP · 1
Resolving Plural Ambiguities by Type Reconstruction
2012 · Hans Leiß · Lecture notes in computer science · 1
Greibach Normal Form in Algebraically Complete Semirings
2002 · Zoltán Ésik, Hans Leiß · BRICS Report Series · 1
PDF
Bounded fixed-point definability and tabular recognition of languages
1996 · Hans Leiß · Lecture notes in computer science · 1
Normal Forms for Elements of ${}^*$-Continuous Kleene Algebras Representing the Context-Free Languages
2026 · Mark Hopkins, Hans Leiß · Fundamenta Informaticae
PDF
Type Reconstruction for $$\lambda $$-DRT Applied to Pronoun Resolution
2016 · Hans Leiß, Shuqian Wu · Lecture notes in computer science
Combining recursive and dynamic types
2006 · Hans Leiß · Springer eBooks
Automata on Lempel-Ziv Compressed Strings
2003 · Hans Leiß, Michel de Rougemont · Lecture notes in computer science
Bounded Fixed-Point Definability and Tabular Recognition of Languages.
1998 · Hans Leiß
Works count: 32
Citation count: 155
H-index: 6
I10-index: 5
Year
Topic
Type