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 × Estonia
1 × France
1 × Italy
1 × Poland
1 × United Kingdom
Collaborated with:
M.M.Bonsangue T.Suzuki E.Tuosto M.Bidoit R.Hennicker
Talks about:
logic (3) dualiti (2) reachabl (1) calculus (1) transit (1) regular (1) present (1) languag (1) functor (1) between (1)

Person: Alexander Kurz

DBLP DBLP: Kurz:Alexander

Contributed to:

FOSSACS 20122012
LICS 20072007
FoSSaCS 20062006
FoSSaCS 20052005
FoSSaCS 20022002
FoSSaCS 20012001

Wrote 6 papers:

FoSSaCS-2012-KurzST #on the #regular expression
On Nominal Regular Languages with Binders (AK, TS, ET), pp. 255–269.
LICS-2007-BonsangueK #logic #π-calculus
π-Calculus in Logical Form (MMB, AK), pp. 303–312.
FoSSaCS-2006-BonsangueK #equation
Presenting Functors by Operations and Equations (MMB, AK), pp. 172–186.
FoSSaCS-2005-BonsangueK #logic
Duality for Logics of Transition Systems (MMB, AK), pp. 455–469.
FoSSaCS-2002-Kurz #logic #semantics
Logics Admitting Final Semantics (AK), pp. 238–249.
FoSSaCS-2001-BidoitHK #on the #reachability
On the Duality between Observability and Reachability (MB, RH, AK), pp. 72–87.

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.