Jump to main content

yr 〜
yr

Search results 6

Automata theory and formal languages : fundamental notions, theorems, and techniques : [pbk]

Automata theory and formal languages : fundamental notions, theorems, and techniques : [pbk]
Paper図書
Alberto PettorossiSpringerc2022
Other Libraries in Japan
  • Author HeadingPettorossi, A. (Alberto)

Automatic program development : a tribute to Robert Paige

Automatic program development : a tribute to Robert Paige
Paper図書
edited by Olivier Danvy ... [et al.]Springerc2008
Other Libraries in Japan
  • Author HeadingPaige, Robert A. Danvy, Olivier Mairson, Harry Henglein, Fritz Pettorossi, A. (Alberto)

Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers

Logic based program synthesis and transformation : 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001 : selected papers
Paper図書
Alberto Pettorossi (ed.)Springerc2002
Other Libraries in Japan
  • Author HeadingInternational Workshop on Logic Program Synthesis and Transformation Pettorossi, A. (Alberto)

Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings : gw : us

Meta-programming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings : gw : us
Paper図書
A. Pettorossi (ed.)Springer-Verlagc1992
Other Libraries in Japan
  • Author HeadingInternational Workshop, META Pettorossi, A. (Alberto)

Meta-programmming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings / A. Pettorossi, ed. (Lecture notes in computer science)

Meta-programmming in logic : Third International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992 : proceedings / A. Pettorossi, ed. (Lecture notes in computer science)
Paper図書
Springer-Verlagc1992.<M15-A8656>
National Diet Library
  • Author HeadingInternational Workshop, META--92 (1992 : Uppsala, Sweden) Pettorossi, A. (Alberto) , 1947-

Methodologies for transformations and memoing in applicative languages

Methodologies for transformations and memoing in applicative languages
Paper図書
by Alberto PettorossiUniversity of Edinburgh, Department of Computer Science1984
Other Libraries in Japan
  • Author HeadingPettorossi, A. (Alberto)

Reached to the end of result.

RSS