BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Italy
1 × Japan
1 × USA
Collaborated with:
L.Schröder T.Mossakowski A.Tarlecki B.Klin
Talks about:
theori (2) union (2) equat (2) architectur (1) approach (1) algebra (1) specif (1) semant (1) monad (1) casl (1)

Person: Piotr Hoffman

DBLP DBLP: Hoffman:Piotr

Contributed to:

RTA 20062006
RTA 20052005
FASE 20012001

Wrote 3 papers:

RTA-2006-Hoffman #equation #monad
Unions of Equational Monadic Theories (PH), pp. 81–95.
RTA-2005-Hoffman #algebra #approach #equation
Union of Equational Theories: An Algebraic Approach (PH), pp. 61–73.
FASE-2001-SchroderMTKH #architecture #semantics #specification
Semantics of Architectural Specifications in CASL (LS, TM, AT, BK, PH), pp. 253–268.

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.