Hans Leiß

From MaRDI portal
Person:817583

Available identifiers

zbMath Open leiss.hansMaRDI QIDQ817583

List of research outcomes





PublicationDate of PublicationType
Bounded fixed-point definability and tabular recognition of languages2024-06-21Paper
An algebraic representation of the fixed-point closure of *-continuous Kleene algebras – A categorical Chomsky–Schützenberger theorem2023-02-06Paper
https://portal.mardi4nfdi.de/entity/Q52783922017-07-19Paper
Type Reconstruction for $$\lambda $$-DRT Applied to Pronoun Resolution2017-02-22Paper
Learning Context Free Grammars with the Finite Context Property: A Correction of A. Clark’s Algorithm2014-10-14Paper
Resolving Plural Ambiguities by Type Reconstruction2012-11-02Paper
Computer Science Logic2007-06-21Paper
Kleene modules and linear languages2006-03-16Paper
Algebraically complete semirings and Greibach normal form2005-04-21Paper
https://portal.mardi4nfdi.de/entity/Q44329782004-02-22Paper
https://portal.mardi4nfdi.de/entity/Q44118202003-07-10Paper
https://portal.mardi4nfdi.de/entity/Q27788282002-03-21Paper
https://portal.mardi4nfdi.de/entity/Q42684831999-10-28Paper
Extending the type checker of Standard ML by polymorphic recursion1999-01-12Paper
https://portal.mardi4nfdi.de/entity/Q42875061994-10-19Paper
https://portal.mardi4nfdi.de/entity/Q42814781994-04-07Paper
https://portal.mardi4nfdi.de/entity/Q42029471993-09-06Paper
https://portal.mardi4nfdi.de/entity/Q40352541993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q38116821988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47427691983-01-01Paper

Research outcomes over time

This page was built for person: Hans Leiß

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