Lics

IEEE Symposium on Logic in Computer Science

LICS Home - LICS Awards - LICS Newsletters - LICS Archive - LICS Organization - Logic-Related Conferences - Links

Fifth Annual IEEE Symposium on

Logic in Computer Science (LICS 1990)

Paper: The theory of ground rewrite systems is decidable (at LICS 1990)

Winner of the Test-of-Time Award in 2010
Authors: Max Dauchet Sophie Tison

Abstract

Using tree automata techniques, it is proven that the theory of ground rewrite systems is decidable. Novel decision procedures are presented for most classic properties of ground rewrite systems. An example is presented to illustrate how these results could be used for specification and debugging

BibTeX

  @InProceedings{DauchetTison-Thetheoryofgroundre,
    author = 	 {Max Dauchet and Sophie Tison},
    title = 	 {The theory of ground rewrite systems is decidable},
    booktitle =  {Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science (LICS 1990)},
    year =	 {1990},
    month =	 {June}, 
    pages =      {242--248},
    location =   {Philadelphia, PA, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }
   

Last modified: 2016-01-1416:21
Andrzej Murawski