dblp.uni-trier.dewww.uni-trier.de

Hans Leiß

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
18EEHans Leiß: Kleene modules and linear languages. J. Log. Algebr. Program. 66(2): 185-194 (2006)
2005
17EEZoltán Ésik, Hans Leiß: Algebraically complete semirings and Greibach normal form. Ann. Pure Appl. Logic 133(1-3): 173-203 (2005)
2003
16EEHans Leiß, Michel de Rougemont: Automata on Lempel-ziv Compressed Strings. CSL 2003: 384-396
15EEFoto N. Afrati, Hans Leiß, Michel de Rougemont: Definability and Compression. Fundam. Inform. 56(1-2): 155-180 (2003)
2002
14EEZoltán Ésik, Hans Leiß: Greibach Normal Form in Algebraically Complete Semirings. CSL 2002: 135-150
13 Hans Leiß: Kleenean semimodules and linear languages. FICS 2002: 51-53
2001
12EEHans Leiß: Second-Order Pre-Logical Relations and Representation Independence. TLCA 2001: 298-314
2000
11EEFoto N. Afrati, Hans Leiß, Michel de Rougemont: Definability and Compression. LICS 2000: 63-73
1999
10EEMartin Emms, Hans Leiß: Extending the Type Checker of Standard ML by Polymorphic Recursion. Theor. Comput. Sci. 212(1-2): 157-181 (1999)
1998
9EEHans Leiß: Bounded Fixed-Point Definability and Tabular Recognition of Languages. TAPD 1998: 96-107
1995
8 Hans Leiß: Bounded Fixed-Point Definability and Tabular Recognition of Languages. CSL 1995: 388-402
1993
7 Hans Leiß: Combining Recursive and Dynamic Types. TLCA 1993: 258-273
1991
6 Hans Leiß: Towards Kleene Algebra with Recursion. CSL 1991: 242-256
5 Hans Leiß, Fritz Henglein: A Decidable Case of the Semi-Unification Problem. MFCS 1991: 318-327
1990
4 Hans Leiß: Polymorphic Constructs in Natural and Programming Languages. JELIA 1990: 348-365
3EEHans Leiß: On Kilbury's Modification of Earley's Algorithm. ACM Trans. Program. Lang. Syst. 12(4): 610-640 (1990)
1989
2 Hans Leiß: Polymorphic Recursion and Semi-Unification. CSL 1989: 211-224
1987
1 Hans Leiß: On Type Inference for Object-Oriented Programming Languages. CSL 1987: 151-172

Coauthor Index

1Foto N. Afrati [11] [15]
2Martin Emms [10]
3Zoltán Ésik [14] [17]
4Fritz Henglein [5]
5Michel de Rougemont [11] [15] [16]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)