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 × Austria
1 × Cyprus
1 × Spain
1 × USA
Collaborated with:
F.Laroussinie E.Petonnet A.Carayol M.Hague C.L.Ong O.Serre G.Yorsh A.M.Rabinovich M.Sagiv A.Bouajjani
Talks about:
structur (1) reachabl (1) pushdown (1) pattern (1) system (1) rewrit (1) region (1) ration (1) higher (1) order (1)

Person: Antoine Meyer

DBLP DBLP: Meyer:Antoine

Contributed to:

FOSSACS 20102010
LICS 20082008
FoSSaCS 20062006
FoSSaCS 20042004

Wrote 4 papers:

Counting CTL (FL, AM, EP), pp. 206–220.
LICS-2008-CarayolHMOS #automaton #game studies #higher-order
Winning Regions of Higher-Order Pushdown Games (AC, MH, AM, CHLO, OS), pp. 193–204.
FoSSaCS-2006-YorshRSMB #linked data #logic #open data
A Logic of Reachable Patterns in Linked Data-Structures (GY, AMR, MS, AM, AB), pp. 94–110.
FoSSaCS-2004-Meyer #on the #term rewriting
On Term Rewriting Systems Having a Rational Derivation (AM), pp. 378–392.

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.