17. LICS 2002:
Copenhagen, Denmark
17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings.
IEEE Computer Society 2002, ISBN 0-7695-1483-9
FLoC Joint Invited Lecture
Session 1
Session 2
Session 3
Session 4
Session 5
Session 6
Session 7
Session 8
Session 9
Session 10
Session 11
Session 12
Session 14
Session 15
Session 16
Session 17
- Ashish Tiwari:
Deciding Confluence of Certain Term Rewriting Systems in Polynomial Time.
447-

Last update Fri May 24 19:35:10 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page