Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

Dou+Ghi+Les+Lik:LPAR-2005 (In proceedings)
Author(s) Dan Dougherty, Silvia Ghilezan, Pierre Lescanne and Silvia Likavec
Title« Strong Normalization of the Dual Classical Sequent Calculus »
In12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR '05)
SeriesLNAI
Volume3835
Page(s)169-183
Year2005
PublisherSpringer-Verlag
URLhttp://www.di.unito.it/~likavec/publications/lpar05.pdf

BibTeX code

@inproceedings{Dou+Ghi+Les+Lik:LPAR-2005,
  volume = {3835},
  author = {Dan Dougherty and Silvia Ghilezan and Pierre Lescanne and Silvia
            Likavec},
  series = {LNAI},
  booktitle = {12th International Conference on Logic for Programming Artificial
               Intelligence and Reasoning (LPAR '05)},
  url = {http://www.di.unito.it/~likavec/publications/lpar05.pdf},
  title = {{S}trong {N}ormalization of the {D}ual {C}lassical {S}equent
           {C}alculus},
  publisher = {Springer-Verlag},
  year = {2005},
  pages = {169-183},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!