FOSSACS 2011 - PDF Preprint Papers

FOSSACS 2011 International Conference on Foundations of Software Science and Computation Structure

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed FOSSACS-2011 Paper

click to vote

FOSSACS
2011
Springer

55views Software Engineering» more FOSSACS 2011»

Regularity and Context-Freeness over Word Rewriting Systems

8 months 27 days ago

Download www-igm.univ-mlv.fr

We describe a general decomposition mechanism to express the derivation relation of a word rewriting system R as the composition of a (regular) substitution followed by the derivat...

Didier Caucal, Dinh Trong Hieu

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Related Conferences

Id	Views	Title	Status
1	55	Regularity and Context-Freeness over Word Rewriting Systems	claim
2	54	Ordinal Theory for Expressiveness of Well Structured Transition Systems	claim
3	45	Irrelevance in Type Theory with a Heterogeneous Equality Judgement	claim
4	43	Coalgebraic Walks, in Quantum and Turing Computation	claim
5	40	A Practical Linear Time Algorithm for Trivial Automata Model Checking of Higher-Order Recursion Schemes	claim
6	37	Minimizing Deterministic Lattice Automata	claim
7	34	Similarity Quotients as Final Coalgebras	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers