Hans Leiß

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Normal forms for elements of \({}^\)-continuous Kleene algebras representing the context-free languages Fundamenta Informaticae*	2026-01-22	Paper
Bounded fixed-point definability and tabular recognition of languages	2024-06-21	Paper
An algebraic representation of the fixed-point closure of -continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem Mathematical Structures in Computer Science*	2023-02-06	Paper
The matrix ring of a \(\mu\)-continuous Chomsky algebra is \(\mu\)-continuous	2017-07-19	Paper
Type reconstruction for \(\lambda\)-DRT applied to pronoun resolution Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016)	2017-02-22	Paper
Learning context free grammars with the finite context property: a correction of A. Clark's algorithm Formal Grammar	2014-10-14	Paper
Resolving plural ambiguities by type reconstruction Formal Grammar	2012-11-02	Paper
Computer Science Logic Lecture Notes in Computer Science	2007-06-21	Paper
Kleene modules and linear languages The Journal of Logic and Algebraic Programming	2006-03-16	Paper
Algebraically complete semirings and Greibach normal form Annals of Pure and Applied Logic	2005-04-21	Paper
scientific article; zbMATH DE number 1998343 (Why is no real title available?)	2004-02-22	Paper
scientific article; zbMATH DE number 1948159 (Why is no real title available?)	2003-07-10	Paper
scientific article; zbMATH DE number 1722660 (Why is no real title available?)	2002-03-21	Paper
scientific article; zbMATH DE number 1354168 (Why is no real title available?)	1999-10-28	Paper
Extending the type checker of Standard ML by polymorphic recursion Theoretical Computer Science	1999-01-12	Paper
scientific article; zbMATH DE number 549987 (Why is no real title available?)	1994-10-19	Paper
scientific article; zbMATH DE number 512785 (Why is no real title available?)	1994-04-07	Paper
scientific article; zbMATH DE number 408802 (Why is no real title available?)	1993-09-06	Paper
scientific article; zbMATH DE number 176152 (Why is no real title available?)	1993-05-18	Paper
scientific article; zbMATH DE number 4080882 (Why is no real title available?)	1988-01-01	Paper
scientific article; zbMATH DE number 3797732 (Why is no real title available?)	1983-01-01	Paper

Research outcomes over time

This page was built for person: Hans Leiß