Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Hans Leiß

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2011
[c14]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fg/Leiss11
- ask others
Hans Leiß: Resolving Plural Ambiguities by Type Reconstruction. FG 2011: 267-286

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[j6]
- view
  - electronic edition @ informatica-didactica.de
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/didactica/LangeL09
- ask others
Martin Lange, Hans Leiß: To CNF or not to CNF? An Efficient Yet Presentable Version of the CYK Algorithm. Informatica Didactica 8 (2009)
2006
[j5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/Leiss06
- ask others
Hans Leiß: Kleene modules and linear languages. J. Log. Algebr. Program. 66(2): 185-194 (2006)
2005
[j4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/apal/EsikL05
- ask others
Zoltán Ésik, Hans Leiß: Algebraically complete semirings and Greibach normal form. Ann. Pure Appl. Logic 133(1-3): 173-203 (2005)
2003
[j3]
- view
  - electronic edition @ metapress.com
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/fuin/AfratiLR03
- ask others
Foto N. Afrati, Hans Leiß, Michel de Rougemont: Definability and Compression. Fundam. Inform. 56(1-2): 155-180 (2003)
[c13]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/LeissR03
- ask others
Hans Leiß, Michel de Rougemont: Automata on Lempel-ziv Compressed Strings. CSL 2003: 384-396
2002
[c12]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/EsikL02
- ask others
Zoltán Ésik, Hans Leiß: Greibach Normal Form in Algebraically Complete Semirings. CSL 2002: 135-150
[c11]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/fics/Leiss02
- ask others
Hans Leiß: Kleenean semimodules and linear languages. FICS 2002: 51-53
2001
[c10]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tlca/Leiss01
- ask others
Hans Leiß: Second-Order Pre-Logical Relations and Representation Independence. TLCA 2001: 298-314
2000
[c9]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lics/AfratiLR00
- ask others
Foto N. Afrati, Hans Leiß, Michel de Rougemont: Definability and Compression. LICS 2000: 63-73

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1999
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tcs/EmmsL99
- ask others
Martin Emms, Hans Leiß: Extending the Type Checker of Standard ML by Polymorphic Recursion. Theor. Comput. Sci. 212(1-2): 157-181 (1999)
1998
[c8]
- view
  - electronic edition @ inria.fr
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tapd/Leiss98
- ask others
Hans Leiß: Bounded Fixed-Point Definability and Tabular Recognition of Languages. TAPD 1998: 96-107
1995
[c7]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/Leiss95
- ask others
Hans Leiß: Bounded Fixed-Point Definability and Tabular Recognition of Languages. CSL 1995: 388-402
1993
[c6]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tlca/Leiss93
- ask others
Hans Leiß: Combining Recursive and Dynamic Types. TLCA 1993: 258-273
1991
[c5]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/Leiss91
- ask others
Hans Leiß: Towards Kleene Algebra with Recursion. CSL 1991: 242-256
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/mfcs/LeissH91
- ask others
Hans Leiß, Fritz Henglein: A Decidable Case of the Semi-Unification Problem. MFCS 1991: 318-327
1990
[j1]
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/toplas/Leiss90
- ask others
Hans Leiß: On Kilbury's Modification of Earley's Algorithm. ACM Trans. Program. Lang. Syst. 12(4): 610-640 (1990)
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/jelia/Leiss90
- ask others
Hans Leiß: Polymorphic Constructs in Natural and Programming Languages. JELIA 1990: 348-365

1980 – 1989

see FAQ

What is the meaning of the colors in the publication list?

1989
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/Leiss89
- ask others
Hans Leiß: Polymorphic Recursion and Semi-Unification. CSL 1989: 211-224
1987
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/csl/Leiss87
- ask others
Hans Leiß: On Type Inference for Object-Oriented Programming Languages. CSL 1987: 151-172

Coauthor Index

see FAQ

What is the meaning of the colors in the coauthor index?