myproceedings.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib --remove html --expand -oc html/myproceedings.txt -ob html/myproceedings.bib -c '(author : "lengrand") & ($type = "INPROCEEDINGS") & !(note : "Submitted") & !(annotate : "hide")' abbrev.bib Main.bib crossrefs.bib}}
@inproceedings{lengdouglesc01,
  author = {Daniel J. Dougherty and {St\'ephane} Lengrand and
               Pierre Lescanne},
  title = {An Improved System of Intersection Types for Explicit
               Substitutions},
  isbn = {1-4020-7181-7},
  pages = {511--523},
  crossref = {ifipTCS02}
}
@inproceedings{lengrand03call-by-value,
  author = {{St\'ephane} Lengrand},
  title = {Call-by-value, call-by-name, and strong normalization
               for the classical sequent calculus},
  series = {Electronic Notes in Theoretical Computer Science},
  volume = {86},
  number = 4,
  publisher = {Elsevier},
  note = {Revision from the 3rd International  Workshop on
               Reduction Strategies in Rewriting and Programming
               (WRS'03)},
  editor = {Bernhard Gramlich and Salvador Lucas},
  year = {2003}
}
@inproceedings{lengrandHOR2004,
  author = {{St\'ephane} Lengrand},
  title = {Deriving Strong Normalisation},
  crossref = {hor04},
  pages = {84-88},
  month = jun
}
@inproceedings{lengrandkesner,
  author = {Delia Kesner and {St\'ephane} Lengrand},
  title = {Extending the explicit substitution paradigm},
  crossref = {rta05},
  pages = {407-422},
  annotate = {Best Paper Award}
}
@inproceedings{lengbruen05,
  author = {Kai {Br\"unnler} and {St\'ephane} Lengrand},
  title = {On Two Forms of Bureaucracy in Derivations},
  booktitle = {1st  Workshop  on Structures and Deductions (SD'05)},
  editor = {Paola Bruscoli, Francois Lamarche and James Stewart},
  series = {Technical Report, Technische {Universit\"at} Dresden},
  note = {ISSN 1430-211X},
  month = jul,
  year = 2005,
  place = {Lisbon, Portugal},
  pages = {69--80}
}
@inproceedings{LM06,
  author = {{St\'ephane} Lengrand and Alexandre Miquel},
  title = {A classical version of {$F_\omega$}},
  booktitle = {1st  Workshop  on Classical logic and Computation},
  editor = {Stephen van Bakel and Stefano Berardi},
  month = jul,
  year = 2006,
  place = {Venice, Italy}
}
@inproceedings{DyckhoffLengrand,
  author = {Roy Dyckhoff and {St\'ephane} Lengrand},
  title = {{\sf {LJQ}}, a strongly Focused Calculus for
               Intuitionistic Logic},
  booktitle = {Proceedings of the  2nd  Conference  on Computability in Europe
               (CiE'06)},
  series = {Lecture Notes in Computer Science},
  volume = {3988},
  publisher = {Springer-Verlag},
  editor = {A. Beckmann and U. Berger and B. Loewe and
               J. V. Tucker},
  year = {2006},
  month = jul,
  pages = {173--185}
}
@inproceedings{DKL06,
  author = {Roy Dyckhoff and Delia Kesner and {St\'ephane}
               Lengrand},
  title = {Strong cut-elimination systems for {Hudelmaier}'s
               depth-bounded sequent calculus for implicational logic},
  booktitle = {Proceedings of the  3rd  International Joint Conference  on Automated
               Reasoning (IJCAR'06)},
  series = {Lecture Notes in Artificial Intelligence},
  volume = {4130},
  publisher = {Springer-Verlag},
  editor = {U. Furbach and N. Shankar},
  year = {2006},
  month = aug,
  pages = {347--361}
}
@inproceedings{LDMcK06,
  author = {{St\'ephane} Lengrand and Roy Dyckhoff and James
               McKinna},
  title = {A sequent calculus for Type Theory},
  crossref = {csl06},
  pages = {441--455}
}
@inproceedings{GabbayLengrand08,
  author = {Murdoch Gabbay and {St\'ephane} Lengrand},
  title = {The lambda-context Calculus},
  editor = {Brigitte Pientka and Carsten {Sch\"urmann}},
  series = {Electronic Notes in Theoretical Computer Science},
  volume = {196},
  year = 2008,
  pages = {19--35},
  note = {Revision from the Second International   Workshop on
               Logical Frameworks and Meta-Languages: Theory and
               Practice (LFMTP 2007) (was {\em A(nother) NEW Calculus
               of Contexts})},
  doi = {10.1016/j.entcs.2007.09.015}
}
@inproceedings{kikleng08,
  author = {Kentaro Kikuchi and {St\'ephane} Lengrand},
  title = {Strong Normalisation of Cut-Elimination that Simulates
               {\(\beta\)}-Reduction},
  crossref = {fossacs08},
  pages = {380--394}
}
@inproceedings{bernadetleng11,
  author = {Alexis Bernadet and {St\'ephane} Lengrand},
  title = {Complexity of strongly normalising $\lambda$-terms via
               non-idempotent intersection types},
  crossref = {fossacs11}
}
@inproceedings{bernadetleng11b,
  author = {Alexis Bernadet and {St\'ephane} Lengrand},
  title = {Filter models: non-idempotent intersection types,
               orthogonality and polymorphism},
  crossref = {csl11}
}
@inproceedings{farooque13,
  author = {Mahfuza Farooque and {St\'ephane} Graham-Lengrand and
               Assia Mahboubi},
  title = {A bisimulation between {DPLL(T)} and a proof-search
               strategy for the focused sequent calculus},
  year = 2013,
  publisher = {ACM Press},
  booktitle = {Proceedings of the 2013 International  Workshop on Logical
               Frameworks and Meta-Languages: Theory and Practice
               (LFMTP 2013)},
  editor = {Alberto Momigliano and Brigitte Pientka and Randy
               Pollack},
  month = sep,
  place = {Boston, USA},
  doi = {10.1145/2503887.2503892}
}
@inproceedings{GLPsyche13,
  title = {{Psyche}: a proof-search engine based on sequent
               calculus with an {LCF}-style architecture},
  author = {{St\'ephane} Graham-Lengrand},
  year = 2013,
  pages = {149--156},
  crossref = {tableaux13}
}
@inproceedings{Rouhling15,
  title = {Axiomatic constraint systems for proof search modulo
               theories},
  author = {Damien Rouhling and Mahfuza Farooque and St\'ephane
               Graham-Lengrand and Assia Mahboubi and Jean-Marc Notin},
  crossref = {frocos15}
}
@inproceedings{GrahamLengrandWoF15,
  author = {Graham-Lengrand, St\'ephane},
  year = {2015},
  title = {Realisability semantics of abstract focussing,
               formalised},
  editor = {Cervesato, Iliano and {Sch\"urmann}, Carsten},
  booktitle = {Proceedings of the  the First International  Workshop  on Focusing},
  place = {Suva, Fiji},
  month = nov,
  series = {Electronic Proceedings in Theoretical Computer Science},
  volume = {197},
  publisher = {Open Publishing Association},
  pages = {15-28},
  doi = {10.4204/EPTCS.197.3}
}
@inproceedings{BonacinaGrahamLengrandShankar:17,
  title = {Satisfiability Modulo Theories and Assignments},
  author = {Maria Paola Bonacina and St├ęphane Graham-Lengrand and Natarajan
               Shankar},
  crossref = {cade17}
}
@inproceedings{GrahamLengrandSMT17,
  author = {{St\'ephane} Graham-Lengrand and Dejan Jovanovi{\'c}},
  title = {An {MCSAT} treatment of Bit-Vectors},
  booktitle = {15 International  Workshop on Satisfiability Modulo Theories (SMT
               2017)},
  editor = {Martin Brain and Liana Hadarean},
  year = {2017},
  month = jul,
  place = {Heidelberg, Germany}
}
@inproceedings{BonacinaGrahamLengrandShankar:17b,
  title = {Proofs in Conflict-Driven Theory Combination},
  author = {Maria Paola Bonacina and St├ęphane Graham-Lengrand and Natarajan
               Shankar},
  crossref = {cpp18}
}
@proceedings{cade17,
  booktitle = {Proceedings of the  26th  International  Conference on Automated Deduction 
               (CADE'17)},
  publisher = {Springer-Verlag},
  editor = {Leonardo de Moura},
  series = {Lecture Notes in Artificial Intelligence},
  volume = {10395},
  year = {2017},
  month = aug,
  place = {Gothenburg, Sweden}
}
@proceedings{cpp18,
  editor = {June Andronick and Amy Felty},
  booktitle = {Proceedings of the  7th  International  Conference on Certified Programs and
               Proofs  (CPP'18)},
  publisher = {ACM Press},
  year = {2018},
  month = jan,
  place = {Los Angeles, USA}
}
@proceedings{csl06,
  booktitle = {Proceedings of the  15th Annual Conference of the European
               Association for Computer Science Logic (CSL'06)},
  editor = {Zoltan Esik},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = 4207,
  month = sep,
  year = 2006,
  place = {Szeged, Hungary}
}
@proceedings{csl11,
  booktitle = {Proceedings of the  20th Annual Conference of the European
               Association for Computer Science Logic (CSL'11)},
  editor = {Marc Bezem},
  month = sep,
  date = {12-15 September 2011},
  year = 2011,
  place = {Bergen, Norway},
  publisher = {Schloss Dagstuhl Leibniz Center for Informatics},
  series = {Leibniz International Proceedings in Informatics}
}
@proceedings{fossacs08,
  booktitle = {Proceedings of the 11th International   Conference on Foundations of
Software Science and Computation Structures (FOSSACS'08)},
  editor = {Roberto Amadio},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = 4962,
  month = mar,
  year = 2008,
  place = {Budapest, Hungary}
}
@proceedings{fossacs11,
  booktitle = {Proceedings of the 14th International   Conference on Foundations of
Software Science and Computation Structures (FOSSACS'11)},
  editor = {Martin Hofmann},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = {6604},
  month = mar,
  year = 2011,
  place = {Saarbruecken, Germany}
}
@proceedings{frocos15,
  editor = {Carsten Lutz and Silvio Ranise},
  booktitle = {Proceedings of the 9th International   Symposium on Frontiers of
               Combining Systems (FroCoS'15)},
  series = {Lecture Notes in Artificial Intelligence},
  volume = {9322},
  publisher = {Springer-Verlag},
  year = 2015,
  month = sep,
  place = {Wroclaw, Poland}
}
@proceedings{hor04,
  editor = {Delia Kesner and Femke {van Raamsdonk} and Joe Wells},
  booktitle = {2nd International  Workshop  on Higher-Order Rewriting (HOR'04)},
  series = {Technical Report AIB-2004-03, RWTH Aachen},
  month = jun,
  year = {2004},
  place = {Aachen, Germany},
  url = {\texttt{http://aib.informatik.rwth-aachen.de/2004/2004-03.ps.gz}}
}
@proceedings{ifipTCS02,
  editor = {Ricardo A. Baeza-Yates and Ugo Montanari and Nicola
               Santoro},
  booktitle = {Proceedings of the  IFIP 17th World Computer Congress - TC1 Stream /
               2nd IFIP  International   Conference  on Theoretical
               Computer Science (TCS'02)},
  publisher = {Kluwer},
  series = {IFIP Conference Proceedings},
  volume = {223},
  year = {2002},
  month = aug,
  place = {{Montr\'eal}, Canada},
  isbn = {1-4020-7181-7}
}
@proceedings{rta05,
  booktitle = {Proceedings of the 16th International  Conference  on Rewriting Techniques and Applications (RTA'05)},
  editor = {J\"urgen Giesl},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = 3467,
  month = apr,
  year = 2005,
  place = {Nara, Japan}
}
@proceedings{tableaux13,
  editor = {Didier Galmiche and Dominique Larchey-Wendling},
  booktitle = {Proceedings of the 22nd International  Conference  on Automated Reasoning with Analytic Tableaux and Related Methods (Tableaux'13)},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  volume = 8123,
  year = {2013},
  month = sep,
  place = {Nancy, France}
}

This file was generated by bibtex2html 1.98.