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 

accattoli12flops (In proceedings)
Author(s) Beniamino Accattoli and Luca Paolini
Title« Call-by-Value Solvability, Revisited »
InFunctional and Logic Programming - 11th International Symposium, FLOPS 2012, 2012. Proceedings
SeriesLecture Notes in Computer Science
Editor(s) Tom Schrijvers and Peter Thiemann
Volume7294
Page(s)4-16
Year2012
PublisherSpringer, Germany
ISBN number978-3-642-29821-9

BibTeX code

@inproceedings{accattoli12flops,
  volume = 7294,
  author = {Beniamino Accattoli and Luca Paolini},
  series = {Lecture Notes in Computer Science},
  booktitle = {Functional and Logic Programming - 11th International Symposium,
               FLOPS 2012, 2012. Proceedings},
  editor = {Tom Schrijvers and Peter Thiemann},
  tag = {LNCS},
  isbn = {978-3-642-29821-9},
  title = {Call-by-Value Solvability, Revisited},
  publisher = {Springer, Germany},
  year = 2012,
  pages = {4-16},
}


 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!