BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Croatia
1 × Cyprus
1 × Estonia
1 × Germany
1 × Norway
1 × Russia
1 × USA
Collaborated with:
S.Milius J.Adámek L.Sousa Y.Gurevich J.Endrullis D.Schwencke M.W.Mislove F.J.Oles D.Sprunger W.Tune A.Lomuscio E.Ovchinnikova R.Rosati C.Grabmayer D.Hendriks J.W.Klop
Talks about:
sequenc (2) semant (2) point (2) well (2) set (2) transduct (1) eigenvalu (1) coalgebra (1) structur (1) morphic (1)

Person: Lawrence S. Moss

DBLP DBLP: Moss:Lawrence_S=

Contributed to:

DLT 20142014
KR 20142014
FOSSACS 20122012
LICS 20122012
CSL 20112011
FOSSACS 20102010
CSL 19891989
LICS 19891989

Wrote 8 papers:

DLT-2014-SprungerTEM #sequence
Eigenvalues and Transduction of Morphic Sequences (DS, WT, JE, LSM), pp. 239–251.
KR-2014-LomuscioMOR
Tutorials (AL, LSM, EO, RR).
FoSSaCS-2012-AdamekMMS #algebra
Well-Pointed Coalgebras (JA, SM, LSM, LS), pp. 89–103.
LICS-2012-GrabmayerEHKM #automation #sequence
Automatic Sequences and Zip-Specifications (CG, JE, DH, JWK, LSM), pp. 335–344.
CSL-2011-AdamekMMS
Power-Set Functors and Saturated Trees (JA, SM, LSM, LS), pp. 5–19.
FoSSaCS-2010-MiliusMS #recursion #semantics
CIA Structures and the Semantics of Recursion (SM, LSM, DS), pp. 312–327.
CSL-1989-GurevichM #algebra #semantics
Algebraic Operational Semantics and Occam (YG, LSM), pp. 176–192.
LICS-1989-MisloveMO #fixpoint #set
Non-Well-Founded Sets Obtained from Ideal Fixed Points (MWM, LSM, FJO), pp. 263–272.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.