Visibly Pushdown Languages and Term Rewriting - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2007

Visibly Pushdown Languages and Term Rewriting

No file

Dates and versions

inria-00462510 , version 1 (10-03-2010)

Identifiers

  • HAL Id : inria-00462510 , version 1

Cite

Jacques Chabin, Pierre Réty. Visibly Pushdown Languages and Term Rewriting. International Symposium on Frontiers of Combining Systems, Sep 2007, Liverpool, United Kingdom. pp.252-266. ⟨inria-00462510⟩
46 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More