9. AMAST 2002:
St. Gilles les Bains, Reunion Island, France Hélène Kirchner , Christophe Ringeissen (Eds.):
Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings.
Lecture Notes in Computer Science 2422 Springer 2002, ISBN 3-540-44144-1
Invited Papers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Dale Miller :
Higher-Order Quantification and Proof Search.
60-74
export record as
dblp key:
Regular Papers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/amast/DevillersKKP02
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Bernhard Reus :
Class-Based versus Object-Based: A Denotational Comparison.
473-488
System Descriptions
export record as
dblp key:
export record as
dblp key: