Kleene getting lazy (English)
- New search for: Möller, Bernhard
- New search for: Möller, Bernhard
In:
Science of Computer Programming
;
65
, 2
;
195-214
;
2006
-
ISSN:
- Article (Journal) / Electronic Resource
-
Title:Kleene getting lazy
-
Contributors:Möller, Bernhard ( author )
-
Published in:Science of Computer Programming ; 65, 2 ; 195-214
-
Publisher:
- New search for: Elsevier B.V.
-
Publication date:2006-01-30
-
Size:20 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 65, Issue 2
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 71
-
PrefaceKozen, Dexter et al. | 2006
- 72
-
Customizing an XML–Haskell data binding with type isomorphism inference in Generic HaskellAtanassow, Frank / Jeuring, Johan et al. | 2006
- 108
-
Metamorphisms: Streaming representation-changersGibbons, Jeremy et al. | 2006
- 140
-
Modelling angelic and demonic nondeterminism with multirelationsMartin, C.E. / Curtis, S.A. / Rewitzky, I. et al. | 2006
- 159
-
Terms with unbounded demonic and angelic nondeterminacyMorris, Joseph M. / Tyrrell, Malcolm et al. | 2006
- 173
-
Describing data flow analysis techniques with Kleene algebraFernandes, Therrezinha / Desharnais, Jules et al. | 2006
- 195
-
Kleene getting lazyMöller, Bernhard et al. | 2006
- IFC
-
Editorial Board| 2007