Skip Navigation

Receive this page by email each issue: [Sign up for eTOCs]

Contents: Volume 12, Number 5, 2002   [Index by Author] 
Other Issues: Previous Next  

Down Articles


[Search ALL Issues]

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.

Articles Back

Yonit Kesten and Amir Pnueli

J Logic Computation 2002 12: 701-745; doi:10.1093/logcom/12.5.701 [Abstract] [PDF] [Request Permissions]  

Birgit Elbl

J Logic Computation 2002 12: 747-771; doi:10.1093/logcom/12.5.747 [Abstract] [PDF] [Request Permissions]  

Sébastien Konieczny and Ramón Pino Pérez

J Logic Computation 2002 12: 773-808; doi:10.1093/logcom/12.5.773 [Abstract] [PDF] [Request Permissions]  

Holger Sturm and Frank Wolter

J Logic Computation 2002 12: 809-838; doi:10.1093/logcom/12.5.809 [Abstract] [PDF] [Request Permissions]  

Arkady Estrin and Michael Kaminski

J Logic Computation 2002 12: 839-859; doi:10.1093/logcom/12.5.839 [Abstract] [PDF] [Request Permissions]  

Stéphane Demri and Rajeev Goré

J Logic Computation 2002 12: 861-884; doi:10.1093/logcom/12.5.861 [Abstract] [PDF] [Request Permissions]  

Philippe Balbiani, Jean-François Condotta, and Luis Fariñas Del Cerro

J Logic Computation 2002 12: 885-909; doi:10.1093/logcom/12.5.885 [Abstract] [PDF] [Request Permissions]  


J Logic Computation 2002 12: 911-912; doi:10.1093/logcom/12.5.911 [PDF] [Request Permissions]  

To see an article, click its [Full Text] or [PDF] link. To review many abstracts, check the boxes to the left of the titles you want, and click the 'Get All Checked Abstract(s)' button. To see one abstract at a time, click its [Abstract] link.