Bases for closed sets of implicants and implicates in temporal logic P. CorderoM. EncisoI.P. de Guzmán Original article Pages: 599 - 619
Adding a path connectedness operator to FO+poly (linear) Chris GiannellaDirk Van Gucht Original article Pages: 621 - 648
Formal properties of XML grammars and languages Jean BerstelLuc Boasson Original article Pages: 649 - 671