Jump to main content

yr 〜
yr

Search results 1

MERλIN '05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding : September 30, 2005, Tallinn, Estonia pbk.

MERλIN '05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding : September 30, 2005, Tallinn, Estonia pbk.
Paper図書
A. Momigliano & R. Pollack, editors ; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages (SIGPLAN)Association for Computing Machineryc2005
Other Libraries in Japan
  • Note (General)...ngs of the 3rd ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding Includes bibliographical refe...
  • Alternative Title... of the Third ACM SIGPLAN Workshop on MEchanized Reasoning about Languages with varIable biNding Proceedings of the 3rd ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding
  • Alternative Title... of the Third ACM SIGPLAN Workshop on MEchanized Reasoning about Languages with varIable biNding Proceedings of the 3rd ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding

Reached to the end of result.

RSS