Home
\
Publications
\ Publication Page
Login
CITI
Welcome
Research Areas
Organization
Executive Board
Advisory Board
Contacts
Useful Information
People
CITI Members
Visitors
Activities
Research Projects
Publications
Seminars @ CITI
External Talks & Seminars
Graduation Activities
Organization of Events
Editorial Committees
Prototypes
Visits & Missions
Activity Reports
Search & Query
Search
BibTeX Generator
Termination and Confluence of Context-Sensitive AC-Rewriting
Description:
Technical Report not published.
Date:
2000
Authors:
Anabela Ribeiro
© 2007 CITI @
citi
.
di
.
fct
.
unl
.pt
administrator
|
webmaster
